sig val testing_equations_of_rels : Parsetree.generator -> Parsetree.relations -> (Term.term * Term.term) list end