Fixed qvar unification. Added tests.