Unification now happens with respect to triggers. To do: add new terms when triggers are met.