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