@Override public String toString() { final StringBuilder sb = new StringBuilder(); for (final Expr e : preds) sb.append('[').append(e).append(']'); return sb.toString(); }
@Override public String toString() { final StringBuilder sb = new StringBuilder("try { " + expr + " }"); for (final Catch c : catches) sb.append(' ').append(c); return sb.toString(); }