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