LOGIC-71: fixed unifier reify vars issue some time ago. Documenting
the fix with a test.