fact: Parameter lt_roots : forall f g, g <F f -> forall ss ts, (forall t, In t ts -> lt t (Fun f ss)) -> lt (Fun g ts) (Fun f ss).
imports: CoLoR(VPrecedence ListUtil VTerm RelMidex LogicUtil AccUtil) Coq(Relations Morphisms Basics)