@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();
}