1) Fixed a bug with unification and added a unit test that exposed the bug