public Formula Visit(AssignFormula formula) { return formula; }
public virtual Formula Visit(AssignFormula formula) { Visit((BinaryFormula)formula); return visitor.Visit(formula); }