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