fact: Parameter acc_subterms_3 : forall R p t s, Acc (one_step R) t -> subterm_at_pos t p = Some s -> Acc (one_step R) s.
imports: Coq(List Relations Wellfounded Arith Setoid) CoLoR(closure more_list weaved_relation dickson term_spec)