proposition: Lemma leF_preorder : preorder Sig leF.
proof: Proof. unfold leF. intuition. Qed.
imports: CoLoR(ATrs VPrecedence VRPO_Status VRPO_Results VTerm_of_ATerm ListUtil Preorder SN RelUtil ARelation VSignature LogicUtil) Coq(Arith Wellfounded)