Function unify_terms

[unify_terms env t1 t2] unifies terms [t1] and [t2] in the current environment [env]. On success it returns the environment extended with the result of unification. On failure it raises [NoUnify]. */

(
    env: &Environment,
    heap: &mut Heap,
    t1: &Term,
    t2: &Term,
)