fact: Definition reverse_rule (e : rule) := let (l,r) := e in mkRule (reverse_term l) (reverse_term r).
imports: CoLoR(Srs ATrs SReverse ATerm_of_String String_of_ATerm AUnary SN LogicUtil AMorphism EqUtil NatUtil ListUtil VecUtil)