Fixes the termination semantics when erroneous behaviour is diagnosed.
std::observable
std::observable_checkpoint