/// <summary> /// The ext-s operator extends the substitution with a new binding. /// When extending the substitution, the first argument is always a /// variable, and the second is an arbitrary term. /// </summary> private static Substitution ExtS(LogicVariable x, object v, Substitution s) { return(s.Add(x, v)); }