Moved unification tests to their own file.