Class PostconditionLifecycle