no longer allowing unification terms with the same name as a variable