1: Schedulers and Redundancy for a Class of Constraint Propagation Rules 2: Generating connected acyclic digraphs uniformly at random