@Override public void visit(And andExp) { System.out.print("("); if (andExp.getLHS() != null) andExp.getLHS().accept(this); System.out.print(" && "); if (andExp.getRHS() != null) andExp.getRHS().accept(this); System.out.print(")"); }