context

The bindings assumed as already holding before unification starts; every mgu/merge call is implicitly performed against this context, as if it were merged into the result. If context is Substitution.failed, every operation on this Unificator fails as well.