let
descr =
"displays computed pre and post-condition of each operation"