@Override public void meet(Not node) throws RuntimeException { builder.append("NOT ("); node.getArg().visit(this); builder.append(")"); }