CONSTANTS
Mode = "Current"
Scenario = "Retry"
ResourceKind = "CPE"
LoseReply = FALSE
RestartOnce = FALSE
DelayLists = FALSE
SPECIFICATION Spec
INVARIANTS TypeOK OCIRetry OCIDelete OCITokens Admission
PROPERTY Recovery