fact: Variable status_homomorphic : forall F ss ts f, (forall s t, In s ss -> In t ts -> lt s t -> lt (F s) (F t)) -> tau f lt ss ts -> tau f lt (map F ss) (map F ts).
imports: CoLoR(VRPO_Type VTerm Preorder ListUtil RelUtil LogicUtil AccUtil) Coq(Peano_dec)