fn is_zero_term(
    counters_seen: &BitSet<CounterId>,
    zero_expressions: &ZeroExpressions,
    term: CovTerm
) -> bool
Expand description

Returns true if the given term is known to have a value of zero, taking into account knowledge of which counters are unused and which expressions are always zero.