fact: Parameter general_context : forall R f l1 l2, rwr_list (one_step R) l1 l2 -> rwr R (Term f l1) (Term f l2).
imports: Coq(List Relations Wellfounded Arith Setoid) CoLoR(closure more_list weaved_relation dickson term_spec)