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