@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(); for (final Expr e : preds) sb.append('[').append(e).append(']'); return sb.toString(); }