\* MV CONSTANT declarations
CONSTANTS
A = A
B = B
\* MV CONSTANT definitions
CONSTANT
Procs <- const_144491423291817000
\* SPECIFICATION definition
SPECIFICATION
spec_144491423292818000
\* PROPERTY definition
PROPERTY
prop_144491423293819000