public virtual IExpression Visit(ForallExpression expression) { return(expression); }
public virtual void Visit(ForallExpression expression) { }
public virtual void PostVisit(ForallExpression data) { }
public virtual IExpression Visit(ForallExpression expression) { return(expression); }
public virtual void Visit(ForallExpression expression) { }
public virtual void PostVisit(ForallExpression data) { }