fact: Parameter Acc_var : forall R : relation term, (forall v t, ~ R t (Var v)) -> forall x, Acc (one_step R) (Var x).
imports: Coq(List Relations Wellfounded Arith Setoid) CoLoR(closure more_list weaved_relation dickson term_spec)