unification: add a test case