Get rid of overcomplicated unifyMany.