Strongest Postcondition
File "bench/ce/algebraic_types_mono.mlw", line 6, characters 58-63:
Goal G.
Prover result is: Unknown (sat)
The following counterexample model has not been verified
  (not checking CE model, missing option --check-ce):
File algebraic_types_mono.mlw:
  Line 6:
    x [@introduced] = {"type": "Integer", "val": "0"}

File "bench/ce/algebraic_types_mono.mlw", line 10, characters 21-26:
Goal g2.
Prover result is: Unknown (sat)
The following counterexample model has not been verified
  (not checking CE model, missing option --check-ce):
File algebraic_types_mono.mlw:
  Line 10:
    x [@introduced] =
      {"type": "Apply",
       "val": {"apply": "B", "list": [{"type": "Integer", "val": "0"}]}}

File "bench/ce/algebraic_types_mono.mlw", line 12, characters 21-28:
Goal g4.
Prover result is: Unknown (sat)
The following counterexample model has not been verified
  (not checking CE model, missing option --check-ce):
File algebraic_types_mono.mlw:
  Line 12:
    x [@introduced] = {"type": "Apply", "val": {"apply": "A", "list": []}}

File "bench/ce/algebraic_types_mono.mlw", line 16, characters 21-31:
Goal g5.
Prover result is: Unknown (sat)
The following counterexample model has not been verified
  (not checking CE model, missing option --check-ce):
File algebraic_types_mono.mlw:
  Line 16:
    x [@introduced] =
      {"type": "Apply",
       "val":
        {"apply": "Au",
         "list":
          [{"type": "Integer", "val": "0"}, {"type": "Integer", "val": "1"}]}}

File "bench/ce/algebraic_types_mono.mlw", line 25, characters 29-38:
Goal g1.
Prover result is: Unknown or time/memory/step limit.
The following counterexample model has not been verified
  (not checking CE model, missing option --check-ce):
File algebraic_types_mono.mlw:
  Line 25:
    l [@introduced] =
      {"type": "Apply",
       "val":
        {"apply": "Cons",
         "list":
          [{"type": "Integer", "val": "3"},
           {"type": "Apply",
            "val":
             {"apply": "Cons",
              "list":
               [{"type": "Integer", "val": "4"},
                {"type": "Apply",
                 "val":
                  {"apply": "Cons",
                   "list":
                    [{"type": "Integer", "val": "5"},
                     {"type": "Apply",
                      "val":
                       {"apply": "Cons",
                        "list":
                         [{"type": "Integer", "val": "6"},
                          {"type": "Apply",
                           "val":
                            {"apply": "Cons",
                             "list":
                              [{"type": "Integer", "val": "7"},
                               {"type": "Apply",
                                "val":
                                 {"apply": "Cons",
                                  "list":
                                   [{"type": "Integer", "val": "8"},
                                    {"type": "Apply",
                                     "val":
                                      {"apply": "Cons",
                                       "list":
                                        [{"type": "Integer", "val": "9"},
                                         {"type": "Apply",
                                          "val":
                                           {"apply": "Cons",
                                            "list":
                                             [{"type": "Integer",
                                               "val": "10"},
                                              {"type": "Apply",
                                               "val":
                                                {"apply": "Cons",
                                                 "list":
                                                  [{"type": "Integer",
                                                    "val": "11"},
                                                   {"type": "Apply",
                                                    "val":
                                                     {"apply": "Cons",
                                                      "list":
                                                       [{"type": "Integer",
                                                         "val": "12"},
                                                        {"type": "Apply",
                                                         "val":
                                                          {"apply": "Cons",
                                                           "list":
                                                            [{"type":
                                                               "Integer",
                                                              "val": "13"},
                                                             {"type": "Apply",
                                                              "val":
                                                               {"apply":
                                                                 "Cons",
                                                                "list":
                                                                 [{"type":
                                                                    "Integer",
                                                                   "val":
                                                                    "14"},
                                                                  {"type":
                                                                    "Apply",
                                                                   "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "15"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "16"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "17"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "18"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "19"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "20"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "21"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "22"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "23"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "24"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "25"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "26"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "27"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "28"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "29"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "30"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "31"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "32"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "33"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "34"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "35"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "36"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "37"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "38"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "39"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "40"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "41"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "42"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "43"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "44"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "45"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "46"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "47"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "48"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "49"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "50"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "51"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "52"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "53"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "54"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "55"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "56"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "57"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "58"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "59"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "60"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "61"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "62"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "63"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "64"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "65"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "66"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "67"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "68"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "69"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "70"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "71"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "72"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "73"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "74"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "75"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "76"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "77"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "78"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "79"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "80"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "81"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "82"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "83"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "84"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "85"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "86"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "87"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "88"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "89"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "90"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "91"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "92"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "93"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "94"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "95"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "96"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "97"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "98"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "99"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "100"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "101"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "102"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "103"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "104"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "105"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "106"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "107"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "108"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "109"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "110"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "111"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "112"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "113"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "114"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "115"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "116"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "117"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "118"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "119"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "120"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "121"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "122"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "123"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "124"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "125"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "126"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "127"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "128"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "129"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "130"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "131"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "132"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "133"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "134"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "135"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "136"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "137"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "138"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "139"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "1"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Cons",
                                                                    "list":
                                                                    [{"type":
                                                                    "Integer",
                                                                    "val":
                                                                    "-2"},
                                                                    {"type":
                                                                    "Apply",
                                                                    "val":
                                                                    {"apply":
                                                                    "Nil",
                                                                    "list":
                                                                    []}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}]}}

File "bench/ce/algebraic_types_mono.mlw", line 27, characters 29-36:
Goal g7.
Prover result is: Unknown or time/memory/step limit.
The following counterexample model has not been verified
  (not checking CE model, missing option --check-ce):
File algebraic_types_mono.mlw:
  Line 27:
    l [@introduced] =
      {"type": "Apply",
       "val":
        {"apply": "Cons",
         "list":
          [{"type": "Integer", "val": "0"},
           {"type": "Apply", "val": {"apply": "Nil", "list": []}}]}}

