Fix bug in anti-unify

The problem was that AU would end up introducing metas that might
already have been present in the given terms. Now, we first get the list
of metas use in either of the given terms and make sure we always
generate fresh wrt. those.