/// <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));
}
