@Override
public VarUsage count(final Var var) {
final VarUsage inRoot = root == null ? VarUsage.NEVER : root.count(var);
return VarUsage.sum(var, steps) == VarUsage.NEVER ? inRoot : VarUsage.MORE_THAN_ONCE;
}
@Override
public VarUsage count(final Var var) {
return VarUsage.sum(var, specs).plus(VarUsage.sum(var, preExpr));
}
@Override
public VarUsage count(final Var var) {
return VarUsage.sum(var, preds);
}