Update unification to work on logic variables