infinite minimal complete set of E-unifiers
fixed typo