remove unnecessary check
add unification tests