SPECIFICATION Spec
CONSTANTS
  Variant = "atomic"
  MaxResolves = 2
INVARIANTS
  TypeOK
  OneGroupPerFingerprint
  CountExact
  NoMissedRegression
CHECK_DEADLOCK FALSE