added more testcases for unify