327328329330331332333334335336337
if (rightRational) { incrementIndent(); } print('('); right.accept(this); print(')'); if (rightRational) { decrementIndent(); }
334335336337338339340341342343344
if (rightRational) { decrementIndent(); } } else { right.accept(this); } } else { x.getRight().accept(this); } }
372373374375376377378379380381382
379380381382383384385386387388389
275276277278279280281282283284285
282283284285286287288289290291292
369370371372373374375376377378379
362363364365366367368369370371372