https://www.boost.org/doc/libs/1_78_0/libs/contract/doc/html/boost/contract/postcondition_failure.html
Function postcondition_failure
functionpostconditionfailure
https://discourse.openehr.org/t/ref-impl-eiffel-960-fix-a-postcondition-failure-when-flattening-an-archetype-ontology/13434
[ref_impl_eiffel] [960] Fix a postcondition failure when flattening an archetype ontology. -...
Jun 23, 2010 - Revision: 960 Author: peter.gummer Log Message:
refeiffelfixpostconditionfailure