private AssertStatement VisitAssert(AssertStatement assert) { assert.booleanExpr = this.VisitExpression(assert.booleanExpr); return assert; }