Basic tests - Unification termination point inside