S43_SmallSetOfIntegers implements Section 4.3 Small Set Of Integers. "To represent a set of not more than 100 integers as a process, S, which accepts two kinds of instruction from its calling process X: (1) S!insert(n), insert the integer n in the set and (2) S!has(n); ...; S?b, b is set true if n i
source not stored for this graph (policy: none)
nothing calls this directly
no outgoing calls
no test coverage detected