fact: Variable Rreg : (forall s t, R s t -> forall x, In x (var_list s) -> In x (var_list t)).
imports: Coq(List Relations Wellfounded Arith) CoLoR(closure more_list weaved_relation term equational_theory_spec rwr_strategies dp rpo)