+let tooflex (_,l,_,_) =
+ match l with
+ | Terms.Equation (l,r,_,o) ->
+ (match l,r,o with
+ | Terms.Var _, _, (Terms.Incomparable | Terms.Invertible) -> true
+ | _, Terms.Var _,(Terms.Incomparable | Terms.Invertible) -> true
+ | _ -> false)
+ | _ -> false
+;;
+