basic tests for unification
fix tests and adjust code, for unif