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