public Formula Visit(TypeAsFormula formula) { return formula; }
public virtual Formula Visit(TypeAsFormula formula) { Visit((UnaryFormula)formula); return visitor.Visit(formula); }