fixed bug: missing unification in right-overwrite + 3 tests