Removed some weird test code from UnificationTest, please don't leave
anything in there that prevents execution of the normal tests.