name of unification method in axiom classes changed, goal creation tested and passing