fact: Parameter tau_dec : forall f R ts ss, (forall t s, In t ts -> In s ss -> {R t s} + {~R t s}) -> {tau f R ts ss} + {~tau f R ts ss}.
imports: CoLoR(VPrecedence ListUtil VTerm RelMidex LogicUtil AccUtil) Coq(Relations Morphisms Basics)