\* CONSTANT definition
CONSTANT
Nat <- def_ov_172822955435524000
\* CONSTRAINT definition
CONSTRAINT
constr_172822955435525000
\* INIT definition
INIT
Inv
\* NEXT definition
NEXT
Next
\* INVARIANT definition
INVARIANT
Inv
\* Generated on Sun Oct 06 17:45:54 CEST 2024