fact: Definition rules_preserve_vars (R : rules) := forall l r, In (mkRule l r) R -> vars r [= vars l.
imports: CoLoR(ARelation ListNodup LogicUtil VecUtil RelUtil ListUtil SN BoolUtil EqUtil NatUtil ListMax VecOrd) Coq(Morphisms)