NB!

I denne oppgaven kan det også hende at det ikke finnes en "unifier"
(mao at det ikke er mulig å få til unify-prosedyren)