| Class | Description | 
|---|---|
| ClassInvariantLifecycle | Internal Lifecycle implementation for class-invariants. | 
| PostconditionLifecycle | Internal Lifecycle implementation for post-conditions. | 
| PreconditionLifecycle | Internal Lifecycle implementation for pre-conditions. |