@Override
 public void visitAssertStatement(final AssertStatement statement) {
   pushContext(statement);
   super.visitAssertStatement(statement);
   popContext();
 }
 @Override
 public final void visitAssertStatement(AssertStatement statement) {
   super.visitAssertStatement(statement);
 }