372373374375376377378379380381382
if (rightRational) { incrementIndent(); } print('('); right.accept(this); print(')'); if (rightRational) { decrementIndent(); }
379380381382383384385386387388389
if (rightRational) { decrementIndent(); } } else { right.accept(this); } } else { x.getRight().accept(this); } }
340341342343344345346347348349350
347348349350351352353354355356357