Implements a heuristic for choosing a subset of the invariants that we want to check. The basic idea is that there may be events that are associated with multiple invariants. By choosing these events we optimize model-checking with Spin because we have to track/instrument fewer types of events. We t
(List<BinaryInvariant> invs, int minInvs)
source not stored for this graph (policy: none)