public ISubstitutions Unify(Substitution substitution) { return(Unify(substitution.Variable, substitution.Value)); }
public ISubstitutions Unify(Substitution substitution) { return Unify(substitution.Variable, substitution.Value); }