(try ignore(Unif.unification vl [] l r); true
with FoUnif.UnificationFailure _ -> false)
| _, Terms.Predicate _, _, _ -> assert false
(try ignore(Unif.unification vl [] l r); true
with FoUnif.UnificationFailure _ -> false)
| _, Terms.Predicate _, _, _ -> assert false