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