fact: Variables (E R : rules) (hE : rules_preserve_vars E) (hR : rules_preserve_vars R).
imports: CoLoR(ARelation ListNodup LogicUtil VecUtil RelUtil ListUtil SN BoolUtil EqUtil NatUtil ListMax VecOrd) Coq(Morphisms)