lib(anti_unify)

   Computes the most specific generalization of two terms

