When big counters and memories are in the active logic cone of an assertion that keeps coming up as “inconclusive”,…