Safety guarantees

(to be modified in the “Reinsurance” module)