292293294295296297298299300301302
if (rightRational) { incrementIndent(); } print('('); right.accept(this); print(')'); if (rightRational) { decrementIndent(); }
299300301302303304305306307308309
if (rightRational) { decrementIndent(); } } else { right.accept(this); } } else { x.getRight().accept(this); } }
275276277278279280281282283284285
282283284285286287288289290291292
369370371372373374375376377378379
376377378379380381382383384385386
295296297298299300301302303304305
302303304305306307308309310311312
347348349350351352353354355356357
354355356357358359360361362363364