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