let
help =
"Adding current operation name (and statut) in pre/post conditions"