Code fixed to make an early decision on projection vs mimick to avoid finding the same unifier again and again.
Code fixed to make an early decision on projection vs mimick to avoid
finding the same unifier again and again.

Test: unify (X (atom nat) (atom nat)) (atom nat)
now finds exactly 3 solutions

LPCIC/elpi