SPECIFICATION Spec

CONSTANTS
    Arms    = {a1, a2}
    Groups  = {g1, g2}
    Quants  = {q1, q2}
    NoQuant = noq
    Ids     = {m1, m2}
    JVals   = {1, 2}

INVARIANTS
    TypeOK
    PublishedHasQuant
    PublishedHasSource
    NoCrossGroupRanking
    DerivationConsistent

CHECK_DEADLOCK FALSE