more tests for object unify/reification