SPECIFICATION Spec
CONSTANTS
  MaxTurns = 3
  ToolIds = {t1, t2}
  ANTHROPIC = ANTHROPIC
  TPX = TPX
  NONE = NONE
INVARIANTS
  TypeOK
  ShapeInv
  PairingInv
  SelectionInv
  BoundedInv
PROPERTY
  SelectionStable
CHECK_DEADLOCK TRUE