@Override public int exprSize() { int sz = 0; for (final Expr e : preExpr) sz += e.exprSize(); for (final Expr e : specs) sz += e.exprSize(); return sz; }
@Override public final int exprSize() { int sz = 1; for (final Expr e : steps) sz += e.exprSize(); return root == null ? sz : sz + root.exprSize(); }