@Override public VarUsage count(final Var var) { return ts.count(var).plus(VarUsage.maximum(var, cases)); }
@Override public VarUsage count(final Var var) { return VarUsage.maximum(var, catches).plus(expr.count(var)); }