public virtual void Visit(Statements.AssertStatement s) { VisitAbstractStmt(s); if (s.AssertedExpression != null) { s.AssertedExpression.Accept(this); } }
public ulong Visit(Statements.AssertStatement assertStatement) { return(1000669); }