---
Function {
 argument: None,
 arguments: FunctionArguments {
  arguments: [
   FunctionArgument {
    identifier: "lib",
    default: None,
   },
  ],
  ellipsis: false,
 },
 definition: LetIn {
  bindings: [
   Inherit(
    Some(
     PropertyAccess {
      expression: Variable {
       identifier: "lib",
       position: (5, 12),
      },
      attribute_path: AttributePath {
       attributes: [
        Raw {
         content: "strings",
         position: (5, 16),
        },
       ],
      },
      default: None,
     },
    ),
    [
     Raw {
      content: "toInt",
      position: (5, 25),
     },
    ],
   ),
   Inherit(
    Some(
     PropertyAccess {
      expression: Variable {
       identifier: "lib",
       position: (6, 12),
      },
      attribute_path: AttributePath {
       attributes: [
        Raw {
         content: "trivial",
         position: (6, 16),
        },
       ],
      },
      default: None,
     },
    ),
    [
     Raw {
      content: "compare",
      position: (6, 25),
     },
     Raw {
      content: "min",
      position: (6, 33),
     },
    ],
   ),
  ],
  target: Map {
   bindings: [
    Inherit(
     Some(
      Variable {
       identifier: "builtins",
       position: (10, 12),
      },
     ),
     [
      Raw {
       content: "head",
       position: (10, 22),
      },
      Raw {
       content: "tail",
       position: (10, 27),
      },
      Raw {
       content: "length",
       position: (10, 32),
      },
      Raw {
       content: "isList",
       position: (10, 39),
      },
      Raw {
       content: "elemAt",
       position: (10, 46),
      },
      Raw {
       content: "concatLists",
       position: (10, 53),
      },
      Raw {
       content: "filter",
       position: (10, 65),
      },
      Raw {
       content: "elem",
       position: (10, 72),
      },
      Raw {
       content: "genList",
       position: (10, 77),
      },
      Raw {
       content: "map",
       position: (10, 85),
      },
     ],
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "singleton",
        position: (22, 3),
       },
      ],
     },
     Function {
      argument: Some(
       "x",
      ),
      arguments: FunctionArguments {
       arguments: [],
       ellipsis: false,
      },
      definition: List {
       elements: [
        Variable {
         identifier: "x",
         position: (22, 19),
        },
       ],
       position: (22, 18),
      },
      position: (22, 15),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "forEach",
        position: (35, 3),
       },
      ],
     },
     Function {
      argument: Some(
       "xs",
      ),
      arguments: FunctionArguments {
       arguments: [],
       ellipsis: false,
      },
      definition: Function {
       argument: Some(
        "f",
       ),
       arguments: FunctionArguments {
        arguments: [],
        ellipsis: false,
       },
       definition: FunctionApplication {
        function: Variable {
         identifier: "map",
         position: (35, 20),
        },
        arguments: [
         Variable {
          identifier: "f",
          position: (35, 24),
         },
         Variable {
          identifier: "xs",
          position: (35, 26),
         },
        ],
       },
       position: (35, 17),
      },
      position: (35, 13),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "foldr",
        position: (52, 3),
       },
      ],
     },
     Function {
      argument: Some(
       "op",
      ),
      arguments: FunctionArguments {
       arguments: [],
       ellipsis: false,
      },
      definition: Function {
       argument: Some(
        "nul",
       ),
       arguments: FunctionArguments {
        arguments: [],
        ellipsis: false,
       },
       definition: Function {
        argument: Some(
         "list",
        ),
        arguments: FunctionArguments {
         arguments: [],
         ellipsis: false,
        },
        definition: LetIn {
         bindings: [
          KeyValue(
           AttributePath {
            attributes: [
             Raw {
              content: "len",
              position: (54, 7),
             },
            ],
           },
           FunctionApplication {
            function: Variable {
             identifier: "length",
             position: (54, 13),
            },
            arguments: [
             Variable {
              identifier: "list",
              position: (54, 20),
             },
            ],
           },
          ),
          KeyValue(
           AttributePath {
            attributes: [
             Raw {
              content: "fold'",
              position: (55, 7),
             },
            ],
           },
           Function {
            argument: Some(
             "n",
            ),
            arguments: FunctionArguments {
             arguments: [],
             ellipsis: false,
            },
            definition: IfThenElse {
             predicate: BinaryOperation {
              operator: EqualTo,
              operands: [
               Variable {
                identifier: "n",
                position: (56, 12),
               },
               Variable {
                identifier: "len",
                position: (56, 17),
               },
              ],
              position: (56, 14),
             },
             then: Variable {
              identifier: "nul",
              position: (57, 14),
             },
             else_: FunctionApplication {
              function: Variable {
               identifier: "op",
               position: (58, 14),
              },
              arguments: [
               FunctionApplication {
                function: Variable {
                 identifier: "elemAt",
                 position: (58, 18),
                },
                arguments: [
                 Variable {
                  identifier: "list",
                  position: (58, 25),
                 },
                 Variable {
                  identifier: "n",
                  position: (58, 30),
                 },
                ],
               },
               FunctionApplication {
                function: Variable {
                 identifier: "fold'",
                 position: (58, 34),
                },
                arguments: [
                 BinaryOperation {
                  operator: Addition,
                  operands: [
                   Variable {
                    identifier: "n",
                    position: (58, 41),
                   },
                   Int {
                    value: 1,
                    position: (58, 45),
                   },
                  ],
                  position: (58, 43),
                 },
                ],
               },
              ],
             },
             position: (56, 9),
            },
            position: (55, 15),
           },
          ),
         ],
         target: FunctionApplication {
          function: Variable {
           identifier: "fold'",
           position: (59, 8),
          },
          arguments: [
           Int {
            value: 0,
            position: (59, 14),
           },
          ],
         },
         position: (53, 5),
        },
        position: (52, 20),
       },
       position: (52, 15),
      },
      position: (52, 11),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "fold",
        position: (63, 3),
       },
      ],
     },
     Variable {
      identifier: "foldr",
      position: (63, 10),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "foldl",
        position: (80, 3),
       },
      ],
     },
     Function {
      argument: Some(
       "op",
      ),
      arguments: FunctionArguments {
       arguments: [],
       ellipsis: false,
      },
      definition: Function {
       argument: Some(
        "nul",
       ),
       arguments: FunctionArguments {
        arguments: [],
        ellipsis: false,
       },
       definition: Function {
        argument: Some(
         "list",
        ),
        arguments: FunctionArguments {
         arguments: [],
         ellipsis: false,
        },
        definition: LetIn {
         bindings: [
          KeyValue(
           AttributePath {
            attributes: [
             Raw {
              content: "foldl'",
              position: (82, 7),
             },
            ],
           },
           Function {
            argument: Some(
             "n",
            ),
            arguments: FunctionArguments {
             arguments: [],
             ellipsis: false,
            },
            definition: IfThenElse {
             predicate: BinaryOperation {
              operator: EqualTo,
              operands: [
               Variable {
                identifier: "n",
                position: (83, 12),
               },
               UnaryOperation {
                operator: Negate,
                operand: Int {
                 value: 1,
                 position: (83, 18),
                },
                position: (83, 17),
               },
              ],
              position: (83, 14),
             },
             then: Variable {
              identifier: "nul",
              position: (84, 14),
             },
             else_: FunctionApplication {
              function: Variable {
               identifier: "op",
               position: (85, 14),
              },
              arguments: [
               FunctionApplication {
                function: Variable {
                 identifier: "foldl'",
                 position: (85, 18),
                },
                arguments: [
                 BinaryOperation {
                  operator: Subtraction,
                  operands: [
                   Variable {
                    identifier: "n",
                    position: (85, 26),
                   },
                   Int {
                    value: 1,
                    position: (85, 30),
                   },
                  ],
                  position: (85, 28),
                 },
                ],
               },
               FunctionApplication {
                function: Variable {
                 identifier: "elemAt",
                 position: (85, 35),
                },
                arguments: [
                 Variable {
                  identifier: "list",
                  position: (85, 42),
                 },
                 Variable {
                  identifier: "n",
                  position: (85, 47),
                 },
                ],
               },
              ],
             },
             position: (83, 9),
            },
            position: (82, 16),
           },
          ),
         ],
         target: FunctionApplication {
          function: Variable {
           identifier: "foldl'",
           position: (86, 8),
          },
          arguments: [
           BinaryOperation {
            operator: Subtraction,
            operands: [
             FunctionApplication {
              function: Variable {
               identifier: "length",
               position: (86, 16),
              },
              arguments: [
               Variable {
                identifier: "list",
                position: (86, 23),
               },
              ],
             },
             Int {
              value: 1,
              position: (86, 30),
             },
            ],
            position: (86, 28),
           },
          ],
         },
         position: (81, 5),
        },
        position: (80, 20),
       },
       position: (80, 15),
      },
      position: (80, 11),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "foldl'",
        position: (96, 3),
       },
      ],
     },
     PropertyAccess {
      expression: Variable {
       identifier: "builtins",
       position: (96, 12),
      },
      attribute_path: AttributePath {
       attributes: [
        Raw {
         content: "foldl'",
         position: (96, 21),
        },
       ],
      },
      default: Some(
       Variable {
        identifier: "foldl",
        position: (96, 31),
       },
      ),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "imap0",
        position: (106, 3),
       },
      ],
     },
     Function {
      argument: Some(
       "f",
      ),
      arguments: FunctionArguments {
       arguments: [],
       ellipsis: false,
      },
      definition: Function {
       argument: Some(
        "list",
       ),
       arguments: FunctionArguments {
        arguments: [],
        ellipsis: false,
       },
       definition: FunctionApplication {
        function: Variable {
         identifier: "genList",
         position: (106, 20),
        },
        arguments: [
         Function {
          argument: Some(
           "n",
          ),
          arguments: FunctionArguments {
           arguments: [],
           ellipsis: false,
          },
          definition: FunctionApplication {
           function: Variable {
            identifier: "f",
            position: (106, 32),
           },
           arguments: [
            Variable {
             identifier: "n",
             position: (106, 34),
            },
            FunctionApplication {
             function: Variable {
              identifier: "elemAt",
              position: (106, 37),
             },
             arguments: [
              Variable {
               identifier: "list",
               position: (106, 44),
              },
              Variable {
               identifier: "n",
               position: (106, 49),
              },
             ],
            },
           ],
          },
          position: (106, 29),
         },
         FunctionApplication {
          function: Variable {
           identifier: "length",
           position: (106, 54),
          },
          arguments: [
           Variable {
            identifier: "list",
            position: (106, 61),
           },
          ],
         },
        ],
       },
       position: (106, 14),
      },
      position: (106, 11),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "imap1",
        position: (116, 3),
       },
      ],
     },
     Function {
      argument: Some(
       "f",
      ),
      arguments: FunctionArguments {
       arguments: [],
       ellipsis: false,
      },
      definition: Function {
       argument: Some(
        "list",
       ),
       arguments: FunctionArguments {
        arguments: [],
        ellipsis: false,
       },
       definition: FunctionApplication {
        function: Variable {
         identifier: "genList",
         position: (116, 20),
        },
        arguments: [
         Function {
          argument: Some(
           "n",
          ),
          arguments: FunctionArguments {
           arguments: [],
           ellipsis: false,
          },
          definition: FunctionApplication {
           function: Variable {
            identifier: "f",
            position: (116, 32),
           },
           arguments: [
            BinaryOperation {
             operator: Addition,
             operands: [
              Variable {
               identifier: "n",
               position: (116, 35),
              },
              Int {
               value: 1,
               position: (116, 39),
              },
             ],
             position: (116, 37),
            },
            FunctionApplication {
             function: Variable {
              identifier: "elemAt",
              position: (116, 43),
             },
             arguments: [
              Variable {
               identifier: "list",
               position: (116, 50),
              },
              Variable {
               identifier: "n",
               position: (116, 55),
              },
             ],
            },
           ],
          },
          position: (116, 29),
         },
         FunctionApplication {
          function: Variable {
           identifier: "length",
           position: (116, 60),
          },
          arguments: [
           Variable {
            identifier: "list",
            position: (116, 67),
           },
          ],
         },
        ],
       },
       position: (116, 14),
      },
      position: (116, 11),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "concatMap",
        position: (126, 3),
       },
      ],
     },
     PropertyAccess {
      expression: Variable {
       identifier: "builtins",
       position: (126, 15),
      },
      attribute_path: AttributePath {
       attributes: [
        Raw {
         content: "concatMap",
         position: (126, 24),
        },
       ],
      },
      default: Some(
       Function {
        argument: Some(
         "f",
        ),
        arguments: FunctionArguments {
         arguments: [],
         ellipsis: false,
        },
        definition: Function {
         argument: Some(
          "list",
         ),
         arguments: FunctionArguments {
          arguments: [],
          ellipsis: false,
         },
         definition: FunctionApplication {
          function: Variable {
           identifier: "concatLists",
           position: (126, 47),
          },
          arguments: [
           FunctionApplication {
            function: Variable {
             identifier: "map",
             position: (126, 60),
            },
            arguments: [
             Variable {
              identifier: "f",
              position: (126, 64),
             },
             Variable {
              identifier: "list",
              position: (126, 66),
             },
            ],
           },
          ],
         },
         position: (126, 41),
        },
        position: (126, 38),
       },
      ),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "flatten",
        position: (137, 3),
       },
      ],
     },
     Function {
      argument: Some(
       "x",
      ),
      arguments: FunctionArguments {
       arguments: [],
       ellipsis: false,
      },
      definition: IfThenElse {
       predicate: FunctionApplication {
        function: Variable {
         identifier: "isList",
         position: (138, 8),
        },
        arguments: [
         Variable {
          identifier: "x",
          position: (138, 15),
         },
        ],
       },
       then: FunctionApplication {
        function: Variable {
         identifier: "concatMap",
         position: (139, 10),
        },
        arguments: [
         Function {
          argument: Some(
           "y",
          ),
          arguments: FunctionArguments {
           arguments: [],
           ellipsis: false,
          },
          definition: FunctionApplication {
           function: Variable {
            identifier: "flatten",
            position: (139, 24),
           },
           arguments: [
            Variable {
             identifier: "y",
             position: (139, 32),
            },
           ],
          },
          position: (139, 21),
         },
         Variable {
          identifier: "x",
          position: (139, 35),
         },
        ],
       },
       else_: List {
        elements: [
         Variable {
          identifier: "x",
          position: (140, 11),
         },
        ],
        position: (140, 10),
       },
       position: (138, 5),
      },
      position: (137, 13),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "remove",
        position: (150, 3),
       },
      ],
     },
     Function {
      argument: Some(
       "e",
      ),
      arguments: FunctionArguments {
       arguments: [],
       ellipsis: false,
      },
      definition: FunctionApplication {
       function: Variable {
        identifier: "filter",
        position: (152, 8),
       },
       arguments: [
        Function {
         argument: Some(
          "x",
         ),
         arguments: FunctionArguments {
          arguments: [],
          ellipsis: false,
         },
         definition: BinaryOperation {
          operator: NotEqualTo,
          operands: [
           Variable {
            identifier: "x",
            position: (152, 19),
           },
           Variable {
            identifier: "e",
            position: (152, 24),
           },
          ],
          position: (152, 21),
         },
         position: (152, 16),
        },
       ],
      },
      position: (152, 5),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "findSingle",
        position: (168, 3),
       },
      ],
     },
     Function {
      argument: Some(
       "pred",
      ),
      arguments: FunctionArguments {
       arguments: [],
       ellipsis: false,
      },
      definition: Function {
       argument: Some(
        "default",
       ),
       arguments: FunctionArguments {
        arguments: [],
        ellipsis: false,
       },
       definition: Function {
        argument: Some(
         "multiple",
        ),
        arguments: FunctionArguments {
         arguments: [],
         ellipsis: false,
        },
        definition: Function {
         argument: Some(
          "list",
         ),
         arguments: FunctionArguments {
          arguments: [],
          ellipsis: false,
         },
         definition: LetIn {
          bindings: [
           KeyValue(
            AttributePath {
             attributes: [
              Raw {
               content: "found",
               position: (177, 9),
              },
             ],
            },
            FunctionApplication {
             function: Variable {
              identifier: "filter",
              position: (177, 17),
             },
             arguments: [
              Variable {
               identifier: "pred",
               position: (177, 24),
              },
              Variable {
               identifier: "list",
               position: (177, 29),
              },
             ],
            },
           ),
           KeyValue(
            AttributePath {
             attributes: [
              Raw {
               content: "len",
               position: (177, 35),
              },
             ],
            },
            FunctionApplication {
             function: Variable {
              identifier: "length",
              position: (177, 41),
             },
             arguments: [
              Variable {
               identifier: "found",
               position: (177, 48),
              },
             ],
            },
           ),
          ],
          target: IfThenElse {
           predicate: BinaryOperation {
            operator: EqualTo,
            operands: [
             Variable {
              identifier: "len",
              position: (178, 11),
             },
             Int {
              value: 0,
              position: (178, 18),
             },
            ],
            position: (178, 15),
           },
           then: Variable {
            identifier: "default",
            position: (178, 25),
           },
           else_: IfThenElse {
            predicate: BinaryOperation {
             operator: NotEqualTo,
             operands: [
              Variable {
               identifier: "len",
               position: (179, 15),
              },
              Int {
               value: 1,
               position: (179, 22),
              },
             ],
             position: (179, 19),
            },
            then: Variable {
             identifier: "multiple",
             position: (179, 29),
            },
            else_: FunctionApplication {
             function: Variable {
              identifier: "head",
              position: (180, 12),
             },
             arguments: [
              Variable {
               identifier: "found",
               position: (180, 17),
              },
             ],
            },
            position: (179, 12),
           },
           position: (178, 8),
          },
          position: (177, 5),
         },
         position: (176, 5),
        },
        position: (174, 5),
       },
       position: (172, 5),
      },
      position: (170, 5),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "findFirst",
        position: (193, 3),
       },
      ],
     },
     Function {
      argument: Some(
       "pred",
      ),
      arguments: FunctionArguments {
       arguments: [],
       ellipsis: false,
      },
      definition: Function {
       argument: Some(
        "default",
       ),
       arguments: FunctionArguments {
        arguments: [],
        ellipsis: false,
       },
       definition: Function {
        argument: Some(
         "list",
        ),
        arguments: FunctionArguments {
         arguments: [],
         ellipsis: false,
        },
        definition: LetIn {
         bindings: [
          KeyValue(
           AttributePath {
            attributes: [
             Raw {
              content: "found",
              position: (200, 9),
             },
            ],
           },
           FunctionApplication {
            function: Variable {
             identifier: "filter",
             position: (200, 17),
            },
            arguments: [
             Variable {
              identifier: "pred",
              position: (200, 24),
             },
             Variable {
              identifier: "list",
              position: (200, 29),
             },
            ],
           },
          ),
         ],
         target: IfThenElse {
          predicate: BinaryOperation {
           operator: EqualTo,
           operands: [
            Variable {
             identifier: "found",
             position: (201, 11),
            },
            List {
             elements: [],
             position: (201, 20),
            },
           ],
           position: (201, 17),
          },
          then: Variable {
           identifier: "default",
           position: (201, 28),
          },
          else_: FunctionApplication {
           function: Variable {
            identifier: "head",
            position: (201, 41),
           },
           arguments: [
            Variable {
             identifier: "found",
             position: (201, 46),
            },
           ],
          },
          position: (201, 8),
         },
         position: (200, 5),
        },
        position: (199, 5),
       },
       position: (197, 5),
      },
      position: (195, 5),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "any",
        position: (214, 3),
       },
      ],
     },
     PropertyAccess {
      expression: Variable {
       identifier: "builtins",
       position: (214, 9),
      },
      attribute_path: AttributePath {
       attributes: [
        Raw {
         content: "any",
         position: (214, 18),
        },
       ],
      },
      default: Some(
       Function {
        argument: Some(
         "pred",
        ),
        arguments: FunctionArguments {
         arguments: [],
         ellipsis: false,
        },
        definition: FunctionApplication {
         function: Variable {
          identifier: "foldr",
          position: (214, 32),
         },
         arguments: [
          Function {
           argument: Some(
            "x",
           ),
           arguments: FunctionArguments {
            arguments: [],
            ellipsis: false,
           },
           definition: Function {
            argument: Some(
             "y",
            ),
            arguments: FunctionArguments {
             arguments: [],
             ellipsis: false,
            },
            definition: IfThenElse {
             predicate: FunctionApplication {
              function: Variable {
               identifier: "pred",
               position: (214, 48),
              },
              arguments: [
               Variable {
                identifier: "x",
                position: (214, 53),
               },
              ],
             },
             then: Variable {
              identifier: "true",
              position: (214, 60),
             },
             else_: Variable {
              identifier: "y",
              position: (214, 70),
             },
             position: (214, 45),
            },
            position: (214, 42),
           },
           position: (214, 39),
          },
          Variable {
           identifier: "false",
           position: (214, 73),
          },
         ],
        },
        position: (214, 26),
       },
      ),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "all",
        position: (227, 3),
       },
      ],
     },
     PropertyAccess {
      expression: Variable {
       identifier: "builtins",
       position: (227, 9),
      },
      attribute_path: AttributePath {
       attributes: [
        Raw {
         content: "all",
         position: (227, 18),
        },
       ],
      },
      default: Some(
       Function {
        argument: Some(
         "pred",
        ),
        arguments: FunctionArguments {
         arguments: [],
         ellipsis: false,
        },
        definition: FunctionApplication {
         function: Variable {
          identifier: "foldr",
          position: (227, 32),
         },
         arguments: [
          Function {
           argument: Some(
            "x",
           ),
           arguments: FunctionArguments {
            arguments: [],
            ellipsis: false,
           },
           definition: Function {
            argument: Some(
             "y",
            ),
            arguments: FunctionArguments {
             arguments: [],
             ellipsis: false,
            },
            definition: IfThenElse {
             predicate: FunctionApplication {
              function: Variable {
               identifier: "pred",
               position: (227, 48),
              },
              arguments: [
               Variable {
                identifier: "x",
                position: (227, 53),
               },
              ],
             },
             then: Variable {
              identifier: "y",
              position: (227, 60),
             },
             else_: Variable {
              identifier: "false",
              position: (227, 67),
             },
             position: (227, 45),
            },
            position: (227, 42),
           },
           position: (227, 39),
          },
          Variable {
           identifier: "true",
           position: (227, 74),
          },
         ],
        },
        position: (227, 26),
       },
      ),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "count",
        position: (238, 3),
       },
      ],
     },
     Function {
      argument: Some(
       "pred",
      ),
      arguments: FunctionArguments {
       arguments: [],
       ellipsis: false,
      },
      definition: FunctionApplication {
       function: Variable {
        identifier: "foldl'",
        position: (240, 11),
       },
       arguments: [
        Function {
         argument: Some(
          "c",
         ),
         arguments: FunctionArguments {
          arguments: [],
          ellipsis: false,
         },
         definition: Function {
          argument: Some(
           "x",
          ),
          arguments: FunctionArguments {
           arguments: [],
           ellipsis: false,
          },
          definition: IfThenElse {
           predicate: FunctionApplication {
            function: Variable {
             identifier: "pred",
             position: (240, 28),
            },
            arguments: [
             Variable {
              identifier: "x",
              position: (240, 33),
             },
            ],
           },
           then: BinaryOperation {
            operator: Addition,
            operands: [
             Variable {
              identifier: "c",
              position: (240, 40),
             },
             Int {
              value: 1,
              position: (240, 44),
             },
            ],
            position: (240, 42),
           },
           else_: Variable {
            identifier: "c",
            position: (240, 51),
           },
           position: (240, 25),
          },
          position: (240, 22),
         },
         position: (240, 19),
        },
        Int {
         value: 0,
         position: (240, 54),
        },
       ],
      },
      position: (240, 5),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "optional",
        position: (254, 3),
       },
      ],
     },
     Function {
      argument: Some(
       "cond",
      ),
      arguments: FunctionArguments {
       arguments: [],
       ellipsis: false,
      },
      definition: Function {
       argument: Some(
        "elem",
       ),
       arguments: FunctionArguments {
        arguments: [],
        ellipsis: false,
       },
       definition: IfThenElse {
        predicate: Variable {
         identifier: "cond",
         position: (254, 29),
        },
        then: List {
         elements: [
          Variable {
           identifier: "elem",
           position: (254, 40),
          },
         ],
         position: (254, 39),
        },
        else_: List {
         elements: [],
         position: (254, 51),
        },
        position: (254, 26),
       },
       position: (254, 20),
      },
      position: (254, 14),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "optionals",
        position: (266, 3),
       },
      ],
     },
     Function {
      argument: Some(
       "cond",
      ),
      arguments: FunctionArguments {
       arguments: [],
       ellipsis: false,
      },
      definition: Function {
       argument: Some(
        "elems",
       ),
       arguments: FunctionArguments {
        arguments: [],
        ellipsis: false,
       },
       definition: IfThenElse {
        predicate: Variable {
         identifier: "cond",
         position: (270, 15),
        },
        then: Variable {
         identifier: "elems",
         position: (270, 25),
        },
        else_: List {
         elements: [],
         position: (270, 36),
        },
        position: (270, 12),
       },
       position: (270, 5),
      },
      position: (268, 5),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "toList",
        position: (283, 3),
       },
      ],
     },
     Function {
      argument: Some(
       "x",
      ),
      arguments: FunctionArguments {
       arguments: [],
       ellipsis: false,
      },
      definition: IfThenElse {
       predicate: FunctionApplication {
        function: Variable {
         identifier: "isList",
         position: (283, 18),
        },
        arguments: [
         Variable {
          identifier: "x",
          position: (283, 25),
         },
        ],
       },
       then: Variable {
        identifier: "x",
        position: (283, 32),
       },
       else_: List {
        elements: [
         Variable {
          identifier: "x",
          position: (283, 40),
         },
        ],
        position: (283, 39),
       },
       position: (283, 15),
      },
      position: (283, 12),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "range",
        position: (295, 3),
       },
      ],
     },
     Function {
      argument: Some(
       "first",
      ),
      arguments: FunctionArguments {
       arguments: [],
       ellipsis: false,
      },
      definition: Function {
       argument: Some(
        "last",
       ),
       arguments: FunctionArguments {
        arguments: [],
        ellipsis: false,
       },
       definition: IfThenElse {
        predicate: BinaryOperation {
         operator: GreaterThan,
         operands: [
          Variable {
           identifier: "first",
           position: (300, 8),
          },
          Variable {
           identifier: "last",
           position: (300, 16),
          },
         ],
         position: (300, 14),
        },
        then: List {
         elements: [],
         position: (301, 7),
        },
        else_: FunctionApplication {
         function: Variable {
          identifier: "genList",
          position: (303, 7),
         },
         arguments: [
          Function {
           argument: Some(
            "n",
           ),
           arguments: FunctionArguments {
            arguments: [],
            ellipsis: false,
           },
           definition: BinaryOperation {
            operator: Addition,
            operands: [
             Variable {
              identifier: "first",
              position: (303, 19),
             },
             Variable {
              identifier: "n",
              position: (303, 27),
             },
            ],
            position: (303, 25),
           },
           position: (303, 16),
          },
          BinaryOperation {
           operator: Addition,
           operands: [
            BinaryOperation {
             operator: Subtraction,
             operands: [
              Variable {
               identifier: "last",
               position: (303, 31),
              },
              Variable {
               identifier: "first",
               position: (303, 38),
              },
             ],
             position: (303, 36),
            },
            Int {
             value: 1,
             position: (303, 46),
            },
           ],
           position: (303, 44),
          },
         ],
        },
        position: (300, 5),
       },
       position: (299, 5),
      },
      position: (297, 5),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "partition",
        position: (314, 3),
       },
      ],
     },
     PropertyAccess {
      expression: Variable {
       identifier: "builtins",
       position: (314, 15),
      },
      attribute_path: AttributePath {
       attributes: [
        Raw {
         content: "partition",
         position: (314, 24),
        },
       ],
      },
      default: Some(
       Function {
        argument: Some(
         "pred",
        ),
        arguments: FunctionArguments {
         arguments: [],
         ellipsis: false,
        },
        definition: FunctionApplication {
         function: Variable {
          identifier: "foldr",
          position: (315, 5),
         },
         arguments: [
          Function {
           argument: Some(
            "h",
           ),
           arguments: FunctionArguments {
            arguments: [],
            ellipsis: false,
           },
           definition: Function {
            argument: Some(
             "t",
            ),
            arguments: FunctionArguments {
             arguments: [],
             ellipsis: false,
            },
            definition: IfThenElse {
             predicate: FunctionApplication {
              function: Variable {
               identifier: "pred",
               position: (316, 10),
              },
              arguments: [
               Variable {
                identifier: "h",
                position: (316, 15),
               },
              ],
             },
             then: Map {
              bindings: [
               KeyValue(
                AttributePath {
                 attributes: [
                  Raw {
                   content: "right",
                   position: (317, 14),
                  },
                 ],
                },
                BinaryOperation {
                 operator: Concatenation,
                 operands: [
                  List {
                   elements: [
                    Variable {
                     identifier: "h",
                     position: (317, 23),
                    },
                   ],
                   position: (317, 22),
                  },
                  PropertyAccess {
                   expression: Variable {
                    identifier: "t",
                    position: (317, 29),
                   },
                   attribute_path: AttributePath {
                    attributes: [
                     Raw {
                      content: "right",
                      position: (317, 31),
                     },
                    ],
                   },
                   default: None,
                  },
                 ],
                 position: (317, 26),
                },
               ),
               KeyValue(
                AttributePath {
                 attributes: [
                  Raw {
                   content: "wrong",
                   position: (317, 38),
                  },
                 ],
                },
                PropertyAccess {
                 expression: Variable {
                  identifier: "t",
                  position: (317, 46),
                 },
                 attribute_path: AttributePath {
                  attributes: [
                   Raw {
                    content: "wrong",
                    position: (317, 48),
                   },
                  ],
                 },
                 default: None,
                },
               ),
              ],
              recursive: false,
              position: (317, 12),
             },
             else_: Map {
              bindings: [
               KeyValue(
                AttributePath {
                 attributes: [
                  Raw {
                   content: "right",
                   position: (318, 14),
                  },
                 ],
                },
                PropertyAccess {
                 expression: Variable {
                  identifier: "t",
                  position: (318, 22),
                 },
                 attribute_path: AttributePath {
                  attributes: [
                   Raw {
                    content: "right",
                    position: (318, 24),
                   },
                  ],
                 },
                 default: None,
                },
               ),
               KeyValue(
                AttributePath {
                 attributes: [
                  Raw {
                   content: "wrong",
                   position: (318, 31),
                  },
                 ],
                },
                BinaryOperation {
                 operator: Concatenation,
                 operands: [
                  List {
                   elements: [
                    Variable {
                     identifier: "h",
                     position: (318, 40),
                    },
                   ],
                   position: (318, 39),
                  },
                  PropertyAccess {
                   expression: Variable {
                    identifier: "t",
                    position: (318, 46),
                   },
                   attribute_path: AttributePath {
                    attributes: [
                     Raw {
                      content: "wrong",
                      position: (318, 48),
                     },
                    ],
                   },
                   default: None,
                  },
                 ],
                 position: (318, 43),
                },
               ),
              ],
              recursive: false,
              position: (318, 12),
             },
             position: (316, 7),
            },
            position: (315, 15),
           },
           position: (315, 12),
          },
          Map {
           bindings: [
            KeyValue(
             AttributePath {
              attributes: [
               Raw {
                content: "right",
                position: (319, 9),
               },
              ],
             },
             List {
              elements: [],
              position: (319, 17),
             },
            ),
            KeyValue(
             AttributePath {
              attributes: [
               Raw {
                content: "wrong",
                position: (319, 21),
               },
              ],
             },
             List {
              elements: [],
              position: (319, 29),
             },
            ),
           ],
           recursive: false,
           position: (319, 7),
          },
         ],
        },
        position: (314, 38),
       },
      ),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "groupBy'",
        position: (343, 3),
       },
      ],
     },
     Function {
      argument: Some(
       "op",
      ),
      arguments: FunctionArguments {
       arguments: [],
       ellipsis: false,
      },
      definition: Function {
       argument: Some(
        "nul",
       ),
       arguments: FunctionArguments {
        arguments: [],
        ellipsis: false,
       },
       definition: Function {
        argument: Some(
         "pred",
        ),
        arguments: FunctionArguments {
         arguments: [],
         ellipsis: false,
        },
        definition: Function {
         argument: Some(
          "lst",
         ),
         arguments: FunctionArguments {
          arguments: [],
          ellipsis: false,
         },
         definition: FunctionApplication {
          function: Variable {
           identifier: "foldl'",
           position: (344, 5),
          },
          arguments: [
           Function {
            argument: Some(
             "r",
            ),
            arguments: FunctionArguments {
             arguments: [],
             ellipsis: false,
            },
            definition: Function {
             argument: Some(
              "e",
             ),
             arguments: FunctionArguments {
              arguments: [],
              ellipsis: false,
             },
             definition: LetIn {
              bindings: [
               KeyValue(
                AttributePath {
                 attributes: [
                  Raw {
                   content: "key",
                   position: (346, 17),
                  },
                 ],
                },
                FunctionApplication {
                 function: Variable {
                  identifier: "pred",
                  position: (346, 23),
                 },
                 arguments: [
                  Variable {
                   identifier: "e",
                   position: (346, 28),
                  },
                 ],
                },
               ),
              ],
              target: BinaryOperation {
               operator: Update,
               operands: [
                Variable {
                 identifier: "r",
                 position: (348, 17),
                },
                Map {
                 bindings: [
                  KeyValue(
                   AttributePath {
                    attributes: [
                     Expression {
                      expression: Variable {
                       identifier: "key",
                       position: (348, 26),
                      },
                     },
                    ],
                   },
                   FunctionApplication {
                    function: Variable {
                     identifier: "op",
                     position: (348, 33),
                    },
                    arguments: [
                     PropertyAccess {
                      expression: Variable {
                       identifier: "r",
                       position: (348, 37),
                      },
                      attribute_path: AttributePath {
                       attributes: [
                        Expression {
                         expression: Variable {
                          identifier: "key",
                          position: (348, 41),
                         },
                        },
                       ],
                      },
                      default: Some(
                       Variable {
                        identifier: "nul",
                        position: (348, 49),
                       },
                      ),
                     },
                     Variable {
                      identifier: "e",
                      position: (348, 54),
                     },
                    ],
                   },
                  ),
                 ],
                 recursive: false,
                 position: (348, 22),
                },
               ],
               position: (348, 19),
              },
              position: (345, 15),
             },
             position: (344, 16),
            },
            position: (344, 13),
           },
           Map {
            bindings: [],
            recursive: false,
            position: (349, 14),
           },
           Variable {
            identifier: "lst",
            position: (349, 17),
           },
          ],
         },
         position: (343, 29),
        },
        position: (343, 23),
       },
       position: (343, 18),
      },
      position: (343, 14),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "groupBy",
        position: (351, 3),
       },
      ],
     },
     FunctionApplication {
      function: Variable {
       identifier: "groupBy'",
       position: (351, 13),
      },
      arguments: [
       Function {
        argument: Some(
         "sum",
        ),
        arguments: FunctionArguments {
         arguments: [],
         ellipsis: false,
        },
        definition: Function {
         argument: Some(
          "e",
         ),
         arguments: FunctionArguments {
          arguments: [],
          ellipsis: false,
         },
         definition: BinaryOperation {
          operator: Concatenation,
          operands: [
           Variable {
            identifier: "sum",
            position: (351, 31),
           },
           List {
            elements: [
             Variable {
              identifier: "e",
              position: (351, 39),
             },
            ],
            position: (351, 38),
           },
          ],
          position: (351, 35),
         },
         position: (351, 28),
        },
        position: (351, 23),
       },
       List {
        elements: [],
        position: (351, 43),
       },
      ],
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "zipListsWith",
        position: (363, 3),
       },
      ],
     },
     Function {
      argument: Some(
       "f",
      ),
      arguments: FunctionArguments {
       arguments: [],
       ellipsis: false,
      },
      definition: Function {
       argument: Some(
        "fst",
       ),
       arguments: FunctionArguments {
        arguments: [],
        ellipsis: false,
       },
       definition: Function {
        argument: Some(
         "snd",
        ),
        arguments: FunctionArguments {
         arguments: [],
         ellipsis: false,
        },
        definition: FunctionApplication {
         function: Variable {
          identifier: "genList",
          position: (370, 5),
         },
         arguments: [
          Function {
           argument: Some(
            "n",
           ),
           arguments: FunctionArguments {
            arguments: [],
            ellipsis: false,
           },
           definition: FunctionApplication {
            function: Variable {
             identifier: "f",
             position: (371, 11),
            },
            arguments: [
             FunctionApplication {
              function: Variable {
               identifier: "elemAt",
               position: (371, 14),
              },
              arguments: [
               Variable {
                identifier: "fst",
                position: (371, 21),
               },
               Variable {
                identifier: "n",
                position: (371, 25),
               },
              ],
             },
             FunctionApplication {
              function: Variable {
               identifier: "elemAt",
               position: (371, 29),
              },
              arguments: [
               Variable {
                identifier: "snd",
                position: (371, 36),
               },
               Variable {
                identifier: "n",
                position: (371, 40),
               },
              ],
             },
            ],
           },
           position: (371, 8),
          },
          FunctionApplication {
           function: Variable {
            identifier: "min",
            position: (371, 45),
           },
           arguments: [
            FunctionApplication {
             function: Variable {
              identifier: "length",
              position: (371, 50),
             },
             arguments: [
              Variable {
               identifier: "fst",
               position: (371, 57),
              },
             ],
            },
            FunctionApplication {
             function: Variable {
              identifier: "length",
              position: (371, 63),
             },
             arguments: [
              Variable {
               identifier: "snd",
               position: (371, 70),
              },
             ],
            },
           ],
          },
         ],
        },
        position: (369, 5),
       },
       position: (367, 5),
      },
      position: (365, 5),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "zipLists",
        position: (382, 3),
       },
      ],
     },
     FunctionApplication {
      function: Variable {
       identifier: "zipListsWith",
       position: (382, 14),
      },
      arguments: [
       Function {
        argument: Some(
         "fst",
        ),
        arguments: FunctionArguments {
         arguments: [],
         ellipsis: false,
        },
        definition: Function {
         argument: Some(
          "snd",
         ),
         arguments: FunctionArguments {
          arguments: [],
          ellipsis: false,
         },
         definition: Map {
          bindings: [
           Inherit(
            None,
            [
             Raw {
              content: "fst",
              position: (382, 48),
             },
             Raw {
              content: "snd",
              position: (382, 52),
             },
            ],
           ),
          ],
          recursive: false,
          position: (382, 38),
         },
         position: (382, 33),
        },
        position: (382, 28),
       },
      ],
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "reverseList",
        position: (393, 3),
       },
      ],
     },
     Function {
      argument: Some(
       "xs",
      ),
      arguments: FunctionArguments {
       arguments: [],
       ellipsis: false,
      },
      definition: LetIn {
       bindings: [
        KeyValue(
         AttributePath {
          attributes: [
           Raw {
            content: "l",
            position: (394, 9),
           },
          ],
         },
         FunctionApplication {
          function: Variable {
           identifier: "length",
           position: (394, 13),
          },
          arguments: [
           Variable {
            identifier: "xs",
            position: (394, 20),
           },
          ],
         },
        ),
       ],
       target: FunctionApplication {
        function: Variable {
         identifier: "genList",
         position: (394, 27),
        },
        arguments: [
         Function {
          argument: Some(
           "n",
          ),
          arguments: FunctionArguments {
           arguments: [],
           ellipsis: false,
          },
          definition: FunctionApplication {
           function: Variable {
            identifier: "elemAt",
            position: (394, 39),
           },
           arguments: [
            Variable {
             identifier: "xs",
             position: (394, 46),
            },
            BinaryOperation {
             operator: Subtraction,
             operands: [
              BinaryOperation {
               operator: Subtraction,
               operands: [
                Variable {
                 identifier: "l",
                 position: (394, 50),
                },
                Variable {
                 identifier: "n",
                 position: (394, 54),
                },
               ],
               position: (394, 52),
              },
              Int {
               value: 1,
               position: (394, 58),
              },
             ],
             position: (394, 56),
            },
           ],
          },
          position: (394, 36),
         },
         Variable {
          identifier: "l",
          position: (394, 62),
         },
        ],
       },
       position: (394, 5),
      },
      position: (393, 17),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "listDfs",
        position: (415, 3),
       },
      ],
     },
     Function {
      argument: Some(
       "stopOnCycles",
      ),
      arguments: FunctionArguments {
       arguments: [],
       ellipsis: false,
      },
      definition: Function {
       argument: Some(
        "before",
       ),
       arguments: FunctionArguments {
        arguments: [],
        ellipsis: false,
       },
       definition: Function {
        argument: Some(
         "list",
        ),
        arguments: FunctionArguments {
         arguments: [],
         ellipsis: false,
        },
        definition: LetIn {
         bindings: [
          KeyValue(
           AttributePath {
            attributes: [
             Raw {
              content: "dfs'",
              position: (417, 7),
             },
            ],
           },
           Function {
            argument: Some(
             "us",
            ),
            arguments: FunctionArguments {
             arguments: [],
             ellipsis: false,
            },
            definition: Function {
             argument: Some(
              "visited",
             ),
             arguments: FunctionArguments {
              arguments: [],
              ellipsis: false,
             },
             definition: Function {
              argument: Some(
               "rest",
              ),
              arguments: FunctionArguments {
               arguments: [],
               ellipsis: false,
              },
              definition: LetIn {
               bindings: [
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "c",
                    position: (419, 11),
                   },
                  ],
                 },
                 FunctionApplication {
                  function: Variable {
                   identifier: "filter",
                   position: (419, 15),
                  },
                  arguments: [
                   Function {
                    argument: Some(
                     "x",
                    ),
                    arguments: FunctionArguments {
                     arguments: [],
                     ellipsis: false,
                    },
                    definition: FunctionApplication {
                     function: Variable {
                      identifier: "before",
                      position: (419, 26),
                     },
                     arguments: [
                      Variable {
                       identifier: "x",
                       position: (419, 33),
                      },
                      Variable {
                       identifier: "us",
                       position: (419, 35),
                      },
                     ],
                    },
                    position: (419, 23),
                   },
                   Variable {
                    identifier: "visited",
                    position: (419, 39),
                   },
                  ],
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "b",
                    position: (420, 11),
                   },
                  ],
                 },
                 FunctionApplication {
                  function: Variable {
                   identifier: "partition",
                   position: (420, 15),
                  },
                  arguments: [
                   Function {
                    argument: Some(
                     "x",
                    ),
                    arguments: FunctionArguments {
                     arguments: [],
                     ellipsis: false,
                    },
                    definition: FunctionApplication {
                     function: Variable {
                      identifier: "before",
                      position: (420, 29),
                     },
                     arguments: [
                      Variable {
                       identifier: "x",
                       position: (420, 36),
                      },
                      Variable {
                       identifier: "us",
                       position: (420, 38),
                      },
                     ],
                    },
                    position: (420, 26),
                   },
                   Variable {
                    identifier: "rest",
                    position: (420, 42),
                   },
                  ],
                 },
                ),
               ],
               target: IfThenElse {
                predicate: BinaryOperation {
                 operator: LogicalAnd,
                 operands: [
                  Variable {
                   identifier: "stopOnCycles",
                   position: (421, 15),
                  },
                  BinaryOperation {
                   operator: GreaterThan,
                   operands: [
                    FunctionApplication {
                     function: Variable {
                      identifier: "length",
                      position: (421, 32),
                     },
                     arguments: [
                      Variable {
                       identifier: "c",
                       position: (421, 39),
                      },
                     ],
                    },
                    Int {
                     value: 0,
                     position: (421, 43),
                    },
                   ],
                   position: (421, 41),
                  },
                 ],
                 position: (421, 28),
                },
                then: Map {
                 bindings: [
                  KeyValue(
                   AttributePath {
                    attributes: [
                     Raw {
                      content: "cycle",
                      position: (422, 19),
                     },
                    ],
                   },
                   Variable {
                    identifier: "us",
                    position: (422, 27),
                   },
                  ),
                  KeyValue(
                   AttributePath {
                    attributes: [
                     Raw {
                      content: "loops",
                      position: (422, 31),
                     },
                    ],
                   },
                   Variable {
                    identifier: "c",
                    position: (422, 39),
                   },
                  ),
                  Inherit(
                   None,
                   [
                    Raw {
                     content: "visited",
                     position: (422, 50),
                    },
                    Raw {
                     content: "rest",
                     position: (422, 58),
                    },
                   ],
                  ),
                 ],
                 recursive: false,
                 position: (422, 17),
                },
                else_: IfThenElse {
                 predicate: BinaryOperation {
                  operator: EqualTo,
                  operands: [
                   FunctionApplication {
                    function: Variable {
                     identifier: "length",
                     position: (423, 20),
                    },
                    arguments: [
                     PropertyAccess {
                      expression: Variable {
                       identifier: "b",
                       position: (423, 27),
                      },
                      attribute_path: AttributePath {
                       attributes: [
                        Raw {
                         content: "right",
                         position: (423, 29),
                        },
                       ],
                      },
                      default: None,
                     },
                    ],
                   },
                   Int {
                    value: 0,
                    position: (423, 38),
                   },
                  ],
                  position: (423, 35),
                 },
                 then: Map {
                  bindings: [
                   KeyValue(
                    AttributePath {
                     attributes: [
                      Raw {
                       content: "minimal",
                       position: (425, 24),
                      },
                     ],
                    },
                    Variable {
                     identifier: "us",
                     position: (425, 34),
                    },
                   ),
                   Inherit(
                    None,
                    [
                     Raw {
                      content: "visited",
                      position: (425, 46),
                     },
                     Raw {
                      content: "rest",
                      position: (425, 54),
                     },
                    ],
                   ),
                  ],
                  recursive: false,
                  position: (425, 22),
                 },
                 else_: FunctionApplication {
                  function: Variable {
                   identifier: "dfs'",
                   position: (427, 22),
                  },
                  arguments: [
                   FunctionApplication {
                    function: Variable {
                     identifier: "head",
                     position: (427, 28),
                    },
                    arguments: [
                     PropertyAccess {
                      expression: Variable {
                       identifier: "b",
                       position: (427, 33),
                      },
                      attribute_path: AttributePath {
                       attributes: [
                        Raw {
                         content: "right",
                         position: (427, 35),
                        },
                       ],
                      },
                      default: None,
                     },
                    ],
                   },
                   BinaryOperation {
                    operator: Concatenation,
                    operands: [
                     List {
                      elements: [
                       Variable {
                        identifier: "us",
                        position: (428, 30),
                       },
                      ],
                      position: (428, 28),
                     },
                     Variable {
                      identifier: "visited",
                      position: (428, 38),
                     },
                    ],
                    position: (428, 35),
                   },
                   BinaryOperation {
                    operator: Concatenation,
                    operands: [
                     FunctionApplication {
                      function: Variable {
                       identifier: "tail",
                       position: (429, 28),
                      },
                      arguments: [
                       PropertyAccess {
                        expression: Variable {
                         identifier: "b",
                         position: (429, 33),
                        },
                        attribute_path: AttributePath {
                         attributes: [
                          Raw {
                           content: "right",
                           position: (429, 35),
                          },
                         ],
                        },
                        default: None,
                       },
                      ],
                     },
                     PropertyAccess {
                      expression: Variable {
                       identifier: "b",
                       position: (429, 44),
                      },
                      attribute_path: AttributePath {
                       attributes: [
                        Raw {
                         content: "wrong",
                         position: (429, 46),
                        },
                       ],
                      },
                      default: None,
                     },
                    ],
                    position: (429, 41),
                   },
                  ],
                 },
                 position: (423, 17),
                },
                position: (421, 12),
               },
               position: (418, 9),
              },
              position: (417, 27),
             },
             position: (417, 18),
            },
            position: (417, 14),
           },
          ),
         ],
         target: FunctionApplication {
          function: Variable {
           identifier: "dfs'",
           position: (430, 8),
          },
          arguments: [
           FunctionApplication {
            function: Variable {
             identifier: "head",
             position: (430, 14),
            },
            arguments: [
             Variable {
              identifier: "list",
              position: (430, 19),
             },
            ],
           },
           List {
            elements: [],
            position: (430, 25),
           },
           FunctionApplication {
            function: Variable {
             identifier: "tail",
             position: (430, 29),
            },
            arguments: [
             Variable {
              identifier: "list",
              position: (430, 34),
             },
            ],
           },
          ],
         },
         position: (416, 5),
        },
        position: (415, 35),
       },
       position: (415, 27),
      },
      position: (415, 13),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "toposort",
        position: (454, 3),
       },
      ],
     },
     Function {
      argument: Some(
       "before",
      ),
      arguments: FunctionArguments {
       arguments: [],
       ellipsis: false,
      },
      definition: Function {
       argument: Some(
        "list",
       ),
       arguments: FunctionArguments {
        arguments: [],
        ellipsis: false,
       },
       definition: LetIn {
        bindings: [
         KeyValue(
          AttributePath {
           attributes: [
            Raw {
             content: "dfsthis",
             position: (456, 7),
            },
           ],
          },
          FunctionApplication {
           function: Variable {
            identifier: "listDfs",
            position: (456, 17),
           },
           arguments: [
            Variable {
             identifier: "true",
             position: (456, 25),
            },
            Variable {
             identifier: "before",
             position: (456, 30),
            },
            Variable {
             identifier: "list",
             position: (456, 37),
            },
           ],
          },
         ),
         KeyValue(
          AttributePath {
           attributes: [
            Raw {
             content: "toporest",
             position: (457, 7),
            },
           ],
          },
          FunctionApplication {
           function: Variable {
            identifier: "toposort",
            position: (457, 18),
           },
           arguments: [
            Variable {
             identifier: "before",
             position: (457, 27),
            },
            BinaryOperation {
             operator: Concatenation,
             operands: [
              PropertyAccess {
               expression: Variable {
                identifier: "dfsthis",
                position: (457, 35),
               },
               attribute_path: AttributePath {
                attributes: [
                 Raw {
                  content: "visited",
                  position: (457, 43),
                 },
                ],
               },
               default: None,
              },
              PropertyAccess {
               expression: Variable {
                identifier: "dfsthis",
                position: (457, 54),
               },
               attribute_path: AttributePath {
                attributes: [
                 Raw {
                  content: "rest",
                  position: (457, 62),
                 },
                ],
               },
               default: None,
              },
             ],
             position: (457, 51),
            },
           ],
          },
         ),
        ],
        target: IfThenElse {
         predicate: BinaryOperation {
          operator: LessThan,
          operands: [
           FunctionApplication {
            function: Variable {
             identifier: "length",
             position: (459, 10),
            },
            arguments: [
             Variable {
              identifier: "list",
              position: (459, 17),
             },
            ],
           },
           Int {
            value: 2,
            position: (459, 24),
           },
          ],
          position: (459, 22),
         },
         then: Map {
          bindings: [
           KeyValue(
            AttributePath {
             attributes: [
              Raw {
               content: "result",
               position: (461, 14),
              },
             ],
            },
            Variable {
             identifier: "list",
             position: (461, 24),
            },
           ),
          ],
          recursive: false,
          position: (461, 12),
         },
         else_: IfThenElse {
          predicate: HasProperty {
           expression: Variable {
            identifier: "dfsthis",
            position: (462, 15),
           },
           attribute_path: AttributePath {
            attributes: [
             Raw {
              content: "cycle",
              position: (462, 25),
             },
            ],
           },
           position: (462, 23),
          },
          then: Map {
           bindings: [
            KeyValue(
             AttributePath {
              attributes: [
               Raw {
                content: "cycle",
                position: (464, 19),
               },
              ],
             },
             FunctionApplication {
              function: Variable {
               identifier: "reverseList",
               position: (464, 27),
              },
              arguments: [
               BinaryOperation {
                operator: Concatenation,
                operands: [
                 List {
                  elements: [
                   PropertyAccess {
                    expression: Variable {
                     identifier: "dfsthis",
                     position: (464, 42),
                    },
                    attribute_path: AttributePath {
                     attributes: [
                      Raw {
                       content: "cycle",
                       position: (464, 50),
                      },
                     ],
                    },
                    default: None,
                   },
                  ],
                  position: (464, 40),
                 },
                 PropertyAccess {
                  expression: Variable {
                   identifier: "dfsthis",
                   position: (464, 61),
                  },
                  attribute_path: AttributePath {
                   attributes: [
                    Raw {
                     content: "visited",
                     position: (464, 69),
                    },
                   ],
                  },
                  default: None,
                 },
                ],
                position: (464, 58),
               },
              ],
             },
            ),
            Inherit(
             Some(
              Variable {
               identifier: "dfsthis",
               position: (465, 28),
              },
             ),
             [
              Raw {
               content: "loops",
               position: (465, 37),
              },
             ],
            ),
           ],
           recursive: false,
           position: (464, 17),
          },
          else_: IfThenElse {
           predicate: HasProperty {
            expression: Variable {
             identifier: "toporest",
             position: (466, 20),
            },
            attribute_path: AttributePath {
             attributes: [
              Raw {
               content: "cycle",
               position: (466, 31),
              },
             ],
            },
            position: (466, 29),
           },
           then: Variable {
            identifier: "toporest",
            position: (468, 22),
           },
           else_: Map {
            bindings: [
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "result",
                 position: (471, 24),
                },
               ],
              },
              BinaryOperation {
               operator: Concatenation,
               operands: [
                List {
                 elements: [
                  PropertyAccess {
                   expression: Variable {
                    identifier: "dfsthis",
                    position: (471, 35),
                   },
                   attribute_path: AttributePath {
                    attributes: [
                     Raw {
                      content: "minimal",
                      position: (471, 43),
                     },
                    ],
                   },
                   default: None,
                  },
                 ],
                 position: (471, 33),
                },
                PropertyAccess {
                 expression: Variable {
                  identifier: "toporest",
                  position: (471, 56),
                 },
                 attribute_path: AttributePath {
                  attributes: [
                   Raw {
                    content: "result",
                    position: (471, 65),
                   },
                  ],
                 },
                 default: None,
                },
               ],
               position: (471, 53),
              },
             ),
            ],
            recursive: false,
            position: (471, 22),
           },
           position: (466, 17),
          },
          position: (462, 12),
         },
         position: (459, 7),
        },
        position: (455, 5),
       },
       position: (454, 22),
      },
      position: (454, 14),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "sort",
        position: (482, 3),
       },
      ],
     },
     PropertyAccess {
      expression: Variable {
       identifier: "builtins",
       position: (482, 10),
      },
      attribute_path: AttributePath {
       attributes: [
        Raw {
         content: "sort",
         position: (482, 19),
        },
       ],
      },
      default: Some(
       Function {
        argument: Some(
         "strictLess",
        ),
        arguments: FunctionArguments {
         arguments: [],
         ellipsis: false,
        },
        definition: Function {
         argument: Some(
          "list",
         ),
         arguments: FunctionArguments {
          arguments: [],
          ellipsis: false,
         },
         definition: LetIn {
          bindings: [
           KeyValue(
            AttributePath {
             attributes: [
              Raw {
               content: "len",
               position: (485, 7),
              },
             ],
            },
            FunctionApplication {
             function: Variable {
              identifier: "length",
              position: (485, 13),
             },
             arguments: [
              Variable {
               identifier: "list",
               position: (485, 20),
              },
             ],
            },
           ),
           KeyValue(
            AttributePath {
             attributes: [
              Raw {
               content: "first",
               position: (486, 7),
              },
             ],
            },
            FunctionApplication {
             function: Variable {
              identifier: "head",
              position: (486, 15),
             },
             arguments: [
              Variable {
               identifier: "list",
               position: (486, 20),
              },
             ],
            },
           ),
           KeyValue(
            AttributePath {
             attributes: [
              Raw {
               content: "pivot'",
               position: (487, 7),
              },
             ],
            },
            Function {
             argument: Some(
              "n",
             ),
             arguments: FunctionArguments {
              arguments: [],
              ellipsis: false,
             },
             definition: Function {
              argument: Some(
               "acc",
              ),
              arguments: FunctionArguments {
               arguments: [
                FunctionArgument {
                 identifier: "right",
                 default: None,
                },
                FunctionArgument {
                 identifier: "left",
                 default: None,
                },
               ],
               ellipsis: false,
              },
              definition: LetIn {
               bindings: [
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "el",
                    position: (487, 44),
                   },
                  ],
                 },
                 FunctionApplication {
                  function: Variable {
                   identifier: "elemAt",
                   position: (487, 49),
                  },
                  arguments: [
                   Variable {
                    identifier: "list",
                    position: (487, 56),
                   },
                   Variable {
                    identifier: "n",
                    position: (487, 61),
                   },
                  ],
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "next",
                    position: (487, 64),
                   },
                  ],
                 },
                 FunctionApplication {
                  function: Variable {
                   identifier: "pivot'",
                   position: (487, 71),
                  },
                  arguments: [
                   BinaryOperation {
                    operator: Addition,
                    operands: [
                     Variable {
                      identifier: "n",
                      position: (487, 79),
                     },
                     Int {
                      value: 1,
                      position: (487, 83),
                     },
                    ],
                    position: (487, 81),
                   },
                  ],
                 },
                ),
               ],
               target: IfThenElse {
                predicate: BinaryOperation {
                 operator: EqualTo,
                 operands: [
                  Variable {
                   identifier: "n",
                   position: (488, 12),
                  },
                  Variable {
                   identifier: "len",
                   position: (488, 17),
                  },
                 ],
                 position: (488, 14),
                },
                then: Variable {
                 identifier: "acc",
                 position: (489, 16),
                },
                else_: IfThenElse {
                 predicate: FunctionApplication {
                  function: Variable {
                   identifier: "strictLess",
                   position: (490, 17),
                  },
                  arguments: [
                   Variable {
                    identifier: "first",
                    position: (490, 28),
                   },
                   Variable {
                    identifier: "el",
                    position: (490, 34),
                   },
                  ],
                 },
                 then: FunctionApplication {
                  function: Variable {
                   identifier: "next",
                   position: (491, 16),
                  },
                  arguments: [
                   Map {
                    bindings: [
                     Inherit(
                      None,
                      [
                       Raw {
                        content: "left",
                        position: (491, 31),
                       },
                      ],
                     ),
                     KeyValue(
                      AttributePath {
                       attributes: [
                        Raw {
                         content: "right",
                         position: (491, 37),
                        },
                       ],
                      },
                      BinaryOperation {
                       operator: Concatenation,
                       operands: [
                        List {
                         elements: [
                          Variable {
                           identifier: "el",
                           position: (491, 47),
                          },
                         ],
                         position: (491, 45),
                        },
                        Variable {
                         identifier: "right",
                         position: (491, 55),
                        },
                       ],
                       position: (491, 52),
                      },
                     ),
                    ],
                    recursive: false,
                    position: (491, 21),
                   },
                  ],
                 },
                 else_: FunctionApplication {
                  function: Variable {
                   identifier: "next",
                   position: (493, 11),
                  },
                  arguments: [
                   Map {
                    bindings: [
                     KeyValue(
                      AttributePath {
                       attributes: [
                        Raw {
                         content: "left",
                         position: (493, 18),
                        },
                       ],
                      },
                      BinaryOperation {
                       operator: Concatenation,
                       operands: [
                        List {
                         elements: [
                          Variable {
                           identifier: "el",
                           position: (493, 27),
                          },
                         ],
                         position: (493, 25),
                        },
                        Variable {
                         identifier: "left",
                         position: (493, 35),
                        },
                       ],
                       position: (493, 32),
                      },
                     ),
                     Inherit(
                      None,
                      [
                       Raw {
                        content: "right",
                        position: (493, 49),
                       },
                      ],
                     ),
                    ],
                    recursive: false,
                    position: (493, 16),
                   },
                  ],
                 },
                 position: (490, 14),
                },
                position: (488, 9),
               },
               position: (487, 40),
              },
              position: (487, 19),
             },
             position: (487, 16),
            },
           ),
           KeyValue(
            AttributePath {
             attributes: [
              Raw {
               content: "pivot",
               position: (494, 7),
              },
             ],
            },
            FunctionApplication {
             function: Variable {
              identifier: "pivot'",
              position: (494, 15),
             },
             arguments: [
              Int {
               value: 1,
               position: (494, 22),
              },
              Map {
               bindings: [
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "left",
                    position: (494, 26),
                   },
                  ],
                 },
                 List {
                  elements: [],
                  position: (494, 33),
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "right",
                    position: (494, 37),
                   },
                  ],
                 },
                 List {
                  elements: [],
                  position: (494, 45),
                 },
                ),
               ],
               recursive: false,
               position: (494, 24),
              },
             ],
            },
           ),
          ],
          target: IfThenElse {
           predicate: BinaryOperation {
            operator: LessThan,
            operands: [
             Variable {
              identifier: "len",
              position: (496, 10),
             },
             Int {
              value: 2,
              position: (496, 16),
             },
            ],
            position: (496, 14),
           },
           then: Variable {
            identifier: "list",
            position: (496, 23),
           },
           else_: BinaryOperation {
            operator: Concatenation,
            operands: [
             FunctionApplication {
              function: Variable {
               identifier: "sort",
               position: (497, 13),
              },
              arguments: [
               Variable {
                identifier: "strictLess",
                position: (497, 18),
               },
               PropertyAccess {
                expression: Variable {
                 identifier: "pivot",
                 position: (497, 29),
                },
                attribute_path: AttributePath {
                 attributes: [
                  Raw {
                   content: "left",
                   position: (497, 35),
                  },
                 ],
                },
                default: None,
               },
              ],
             },
             BinaryOperation {
              operator: Concatenation,
              operands: [
               List {
                elements: [
                 Variable {
                  identifier: "first",
                  position: (497, 47),
                 },
                ],
                position: (497, 45),
               },
               FunctionApplication {
                function: Variable {
                 identifier: "sort",
                 position: (497, 60),
                },
                arguments: [
                 Variable {
                  identifier: "strictLess",
                  position: (497, 65),
                 },
                 PropertyAccess {
                  expression: Variable {
                   identifier: "pivot",
                   position: (497, 76),
                  },
                  attribute_path: AttributePath {
                   attributes: [
                    Raw {
                     content: "right",
                     position: (497, 82),
                    },
                   ],
                  },
                  default: None,
                 },
                ],
               },
              ],
              position: (497, 55),
             },
            ],
            position: (497, 41),
           },
           position: (496, 7),
          },
          position: (484, 5),
         },
         position: (483, 17),
        },
        position: (483, 5),
       },
      ),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "compareLists",
        position: (511, 3),
       },
      ],
     },
     Function {
      argument: Some(
       "cmp",
      ),
      arguments: FunctionArguments {
       arguments: [],
       ellipsis: false,
      },
      definition: Function {
       argument: Some(
        "a",
       ),
       arguments: FunctionArguments {
        arguments: [],
        ellipsis: false,
       },
       definition: Function {
        argument: Some(
         "b",
        ),
        arguments: FunctionArguments {
         arguments: [],
         ellipsis: false,
        },
        definition: IfThenElse {
         predicate: BinaryOperation {
          operator: EqualTo,
          operands: [
           Variable {
            identifier: "a",
            position: (512, 8),
           },
           List {
            elements: [],
            position: (512, 13),
           },
          ],
          position: (512, 10),
         },
         then: IfThenElse {
          predicate: BinaryOperation {
           operator: EqualTo,
           operands: [
            Variable {
             identifier: "b",
             position: (513, 13),
            },
            List {
             elements: [],
             position: (513, 18),
            },
           ],
           position: (513, 15),
          },
          then: Int {
           value: 0,
           position: (514, 15),
          },
          else_: UnaryOperation {
           operator: Negate,
           operand: Int {
            value: 1,
            position: (515, 16),
           },
           position: (515, 15),
          },
          position: (513, 10),
         },
         else_: IfThenElse {
          predicate: BinaryOperation {
           operator: EqualTo,
           operands: [
            Variable {
             identifier: "b",
             position: (516, 13),
            },
            List {
             elements: [],
             position: (516, 18),
            },
           ],
           position: (516, 15),
          },
          then: Int {
           value: 1,
           position: (517, 15),
          },
          else_: LetIn {
           bindings: [
            KeyValue(
             AttributePath {
              attributes: [
               Raw {
                content: "rel",
                position: (518, 19),
               },
              ],
             },
             FunctionApplication {
              function: Variable {
               identifier: "cmp",
               position: (518, 25),
              },
              arguments: [
               FunctionApplication {
                function: Variable {
                 identifier: "head",
                 position: (518, 30),
                },
                arguments: [
                 Variable {
                  identifier: "a",
                  position: (518, 35),
                 },
                ],
               },
               FunctionApplication {
                function: Variable {
                 identifier: "head",
                 position: (518, 39),
                },
                arguments: [
                 Variable {
                  identifier: "b",
                  position: (518, 44),
                 },
                ],
               },
              ],
             },
            ),
           ],
           target: IfThenElse {
            predicate: BinaryOperation {
             operator: EqualTo,
             operands: [
              Variable {
               identifier: "rel",
               position: (519, 18),
              },
              Int {
               value: 0,
               position: (519, 25),
              },
             ],
             position: (519, 22),
            },
            then: FunctionApplication {
             function: Variable {
              identifier: "compareLists",
              position: (520, 20),
             },
             arguments: [
              Variable {
               identifier: "cmp",
               position: (520, 33),
              },
              FunctionApplication {
               function: Variable {
                identifier: "tail",
                position: (520, 38),
               },
               arguments: [
                Variable {
                 identifier: "a",
                 position: (520, 43),
                },
               ],
              },
              FunctionApplication {
               function: Variable {
                identifier: "tail",
                position: (520, 47),
               },
               arguments: [
                Variable {
                 identifier: "b",
                 position: (520, 52),
                },
               ],
              },
             ],
            },
            else_: Variable {
             identifier: "rel",
             position: (521, 20),
            },
            position: (519, 15),
           },
           position: (518, 15),
          },
          position: (516, 10),
         },
         position: (512, 5),
        },
        position: (511, 26),
       },
       position: (511, 23),
      },
      position: (511, 18),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "naturalSort",
        position: (534, 3),
       },
      ],
     },
     Function {
      argument: Some(
       "lst",
      ),
      arguments: FunctionArguments {
       arguments: [],
       ellipsis: false,
      },
      definition: LetIn {
       bindings: [
        KeyValue(
         AttributePath {
          attributes: [
           Raw {
            content: "vectorise",
            position: (536, 7),
           },
          ],
         },
         Function {
          argument: Some(
           "s",
          ),
          arguments: FunctionArguments {
           arguments: [],
           ellipsis: false,
          },
          definition: FunctionApplication {
           function: Variable {
            identifier: "map",
            position: (536, 22),
           },
           arguments: [
            Function {
             argument: Some(
              "x",
             ),
             arguments: FunctionArguments {
              arguments: [],
              ellipsis: false,
             },
             definition: IfThenElse {
              predicate: FunctionApplication {
               function: Variable {
                identifier: "isList",
                position: (536, 33),
               },
               arguments: [
                Variable {
                 identifier: "x",
                 position: (536, 40),
                },
               ],
              },
              then: FunctionApplication {
               function: Variable {
                identifier: "toInt",
                position: (536, 47),
               },
               arguments: [
                FunctionApplication {
                 function: Variable {
                  identifier: "head",
                  position: (536, 54),
                 },
                 arguments: [
                  Variable {
                   identifier: "x",
                   position: (536, 59),
                  },
                 ],
                },
               ],
              },
              else_: Variable {
               identifier: "x",
               position: (536, 67),
              },
              position: (536, 30),
             },
             position: (536, 27),
            },
            FunctionApplication {
             function: PropertyAccess {
              expression: Variable {
               identifier: "builtins",
               position: (536, 71),
              },
              attribute_path: AttributePath {
               attributes: [
                Raw {
                 content: "split",
                 position: (536, 80),
                },
               ],
              },
              default: None,
             },
             arguments: [
              String {
               parts: [
                Raw {
                 content: "(0|[1-9][0-9]*)",
                 position: (536, 87),
                },
               ],
              },
              Variable {
               identifier: "s",
               position: (536, 104),
              },
             ],
            },
           ],
          },
          position: (536, 19),
         },
        ),
        KeyValue(
         AttributePath {
          attributes: [
           Raw {
            content: "prepared",
            position: (537, 7),
           },
          ],
         },
         FunctionApplication {
          function: Variable {
           identifier: "map",
           position: (537, 18),
          },
          arguments: [
           Function {
            argument: Some(
             "x",
            ),
            arguments: FunctionArguments {
             arguments: [],
             ellipsis: false,
            },
            definition: List {
             elements: [
              FunctionApplication {
               function: Variable {
                identifier: "vectorise",
                position: (537, 29),
               },
               arguments: [
                Variable {
                 identifier: "x",
                 position: (537, 39),
                },
               ],
              },
              Variable {
               identifier: "x",
               position: (537, 42),
              },
             ],
             position: (537, 26),
            },
            position: (537, 23),
           },
           Variable {
            identifier: "lst",
            position: (537, 47),
           },
          ],
         },
        ),
        KeyValue(
         AttributePath {
          attributes: [
           Raw {
            content: "less",
            position: (538, 7),
           },
          ],
         },
         Function {
          argument: Some(
           "a",
          ),
          arguments: FunctionArguments {
           arguments: [],
           ellipsis: false,
          },
          definition: Function {
           argument: Some(
            "b",
           ),
           arguments: FunctionArguments {
            arguments: [],
            ellipsis: false,
           },
           definition: BinaryOperation {
            operator: LessThan,
            operands: [
             FunctionApplication {
              function: Variable {
               identifier: "compareLists",
               position: (538, 21),
              },
              arguments: [
               Variable {
                identifier: "compare",
                position: (538, 34),
               },
               FunctionApplication {
                function: Variable {
                 identifier: "head",
                 position: (538, 43),
                },
                arguments: [
                 Variable {
                  identifier: "a",
                  position: (538, 48),
                 },
                ],
               },
               FunctionApplication {
                function: Variable {
                 identifier: "head",
                 position: (538, 52),
                },
                arguments: [
                 Variable {
                  identifier: "b",
                  position: (538, 57),
                 },
                ],
               },
              ],
             },
             Int {
              value: 0,
              position: (538, 63),
             },
            ],
            position: (538, 61),
           },
           position: (538, 17),
          },
          position: (538, 14),
         },
        ),
       ],
       target: FunctionApplication {
        function: Variable {
         identifier: "map",
         position: (540, 7),
        },
        arguments: [
         Function {
          argument: Some(
           "x",
          ),
          arguments: FunctionArguments {
           arguments: [],
           ellipsis: false,
          },
          definition: FunctionApplication {
           function: Variable {
            identifier: "elemAt",
            position: (540, 15),
           },
           arguments: [
            Variable {
             identifier: "x",
             position: (540, 22),
            },
            Int {
             value: 1,
             position: (540, 24),
            },
           ],
          },
          position: (540, 12),
         },
         FunctionApplication {
          function: Variable {
           identifier: "sort",
           position: (540, 28),
          },
          arguments: [
           Variable {
            identifier: "less",
            position: (540, 33),
           },
           Variable {
            identifier: "prepared",
            position: (540, 38),
           },
          ],
         },
        ],
       },
       position: (535, 5),
      },
      position: (534, 17),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "take",
        position: (552, 3),
       },
      ],
     },
     Function {
      argument: Some(
       "count",
      ),
      arguments: FunctionArguments {
       arguments: [],
       ellipsis: false,
      },
      definition: FunctionApplication {
       function: Variable {
        identifier: "sublist",
        position: (554, 12),
       },
       arguments: [
        Int {
         value: 0,
         position: (554, 20),
        },
        Variable {
         identifier: "count",
         position: (554, 22),
        },
       ],
      },
      position: (554, 5),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "drop",
        position: (566, 3),
       },
      ],
     },
     Function {
      argument: Some(
       "count",
      ),
      arguments: FunctionArguments {
       arguments: [],
       ellipsis: false,
      },
      definition: Function {
       argument: Some(
        "list",
       ),
       arguments: FunctionArguments {
        arguments: [],
        ellipsis: false,
       },
       definition: FunctionApplication {
        function: Variable {
         identifier: "sublist",
         position: (570, 11),
        },
        arguments: [
         Variable {
          identifier: "count",
          position: (570, 19),
         },
         FunctionApplication {
          function: Variable {
           identifier: "length",
           position: (570, 26),
          },
          arguments: [
           Variable {
            identifier: "list",
            position: (570, 33),
           },
          ],
         },
         Variable {
          identifier: "list",
          position: (570, 39),
         },
        ],
       },
       position: (570, 5),
      },
      position: (568, 5),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "sublist",
        position: (583, 3),
       },
      ],
     },
     Function {
      argument: Some(
       "start",
      ),
      arguments: FunctionArguments {
       arguments: [],
       ellipsis: false,
      },
      definition: Function {
       argument: Some(
        "count",
       ),
       arguments: FunctionArguments {
        arguments: [],
        ellipsis: false,
       },
       definition: Function {
        argument: Some(
         "list",
        ),
        arguments: FunctionArguments {
         arguments: [],
         ellipsis: false,
        },
        definition: LetIn {
         bindings: [
          KeyValue(
           AttributePath {
            attributes: [
             Raw {
              content: "len",
              position: (590, 9),
             },
            ],
           },
           FunctionApplication {
            function: Variable {
             identifier: "length",
             position: (590, 15),
            },
            arguments: [
             Variable {
              identifier: "list",
              position: (590, 22),
             },
            ],
           },
          ),
         ],
         target: FunctionApplication {
          function: Variable {
           identifier: "genList",
           position: (591, 5),
          },
          arguments: [
           Function {
            argument: Some(
             "n",
            ),
            arguments: FunctionArguments {
             arguments: [],
             ellipsis: false,
            },
            definition: FunctionApplication {
             function: Variable {
              identifier: "elemAt",
              position: (592, 11),
             },
             arguments: [
              Variable {
               identifier: "list",
               position: (592, 18),
              },
              BinaryOperation {
               operator: Addition,
               operands: [
                Variable {
                 identifier: "n",
                 position: (592, 24),
                },
                Variable {
                 identifier: "start",
                 position: (592, 28),
                },
               ],
               position: (592, 26),
              },
             ],
            },
            position: (592, 8),
           },
           IfThenElse {
            predicate: BinaryOperation {
             operator: GreaterThanOrEqualTo,
             operands: [
              Variable {
               identifier: "start",
               position: (593, 11),
              },
              Variable {
               identifier: "len",
               position: (593, 20),
              },
             ],
             position: (593, 17),
            },
            then: Int {
             value: 0,
             position: (593, 29),
            },
            else_: IfThenElse {
             predicate: BinaryOperation {
              operator: GreaterThan,
              operands: [
               BinaryOperation {
                operator: Addition,
                operands: [
                 Variable {
                  identifier: "start",
                  position: (594, 16),
                 },
                 Variable {
                  identifier: "count",
                  position: (594, 24),
                 },
                ],
                position: (594, 22),
               },
               Variable {
                identifier: "len",
                position: (594, 32),
               },
              ],
              position: (594, 30),
             },
             then: BinaryOperation {
              operator: Subtraction,
              operands: [
               Variable {
                identifier: "len",
                position: (594, 41),
               },
               Variable {
                identifier: "start",
                position: (594, 47),
               },
              ],
              position: (594, 45),
             },
             else_: Variable {
              identifier: "count",
              position: (595, 13),
             },
             position: (594, 13),
            },
            position: (593, 8),
           },
          ],
         },
         position: (590, 5),
        },
        position: (589, 5),
       },
       position: (587, 5),
      },
      position: (585, 5),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "last",
        position: (607, 3),
       },
      ],
     },
     Function {
      argument: Some(
       "list",
      ),
      arguments: FunctionArguments {
       arguments: [],
       ellipsis: false,
      },
      definition: Assert {
       expression: FunctionApplication {
        function: PropertyAccess {
         expression: Variable {
          identifier: "lib",
          position: (608, 12),
         },
         attribute_path: AttributePath {
          attributes: [
           Raw {
            content: "assertMsg",
            position: (608, 16),
           },
          ],
         },
         default: None,
        },
        arguments: [
         BinaryOperation {
          operator: NotEqualTo,
          operands: [
           Variable {
            identifier: "list",
            position: (608, 27),
           },
           List {
            elements: [],
            position: (608, 35),
           },
          ],
          position: (608, 32),
         },
         String {
          parts: [
           Raw {
            content: "lists.last: list must not be empty!",
            position: (608, 40),
           },
          ],
         },
        ],
       },
       target: FunctionApplication {
        function: Variable {
         identifier: "elemAt",
         position: (609, 5),
        },
        arguments: [
         Variable {
          identifier: "list",
          position: (609, 12),
         },
         BinaryOperation {
          operator: Subtraction,
          operands: [
           FunctionApplication {
            function: Variable {
             identifier: "length",
             position: (609, 18),
            },
            arguments: [
             Variable {
              identifier: "list",
              position: (609, 25),
             },
            ],
           },
           Int {
            value: 1,
            position: (609, 32),
           },
          ],
          position: (609, 30),
         },
        ],
       },
       position: (608, 5),
      },
      position: (607, 10),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "init",
        position: (621, 3),
       },
      ],
     },
     Function {
      argument: Some(
       "list",
      ),
      arguments: FunctionArguments {
       arguments: [],
       ellipsis: false,
      },
      definition: Assert {
       expression: FunctionApplication {
        function: PropertyAccess {
         expression: Variable {
          identifier: "lib",
          position: (622, 12),
         },
         attribute_path: AttributePath {
          attributes: [
           Raw {
            content: "assertMsg",
            position: (622, 16),
           },
          ],
         },
         default: None,
        },
        arguments: [
         BinaryOperation {
          operator: NotEqualTo,
          operands: [
           Variable {
            identifier: "list",
            position: (622, 27),
           },
           List {
            elements: [],
            position: (622, 35),
           },
          ],
          position: (622, 32),
         },
         String {
          parts: [
           Raw {
            content: "lists.init: list must not be empty!",
            position: (622, 40),
           },
          ],
         },
        ],
       },
       target: FunctionApplication {
        function: Variable {
         identifier: "take",
         position: (623, 5),
        },
        arguments: [
         BinaryOperation {
          operator: Subtraction,
          operands: [
           FunctionApplication {
            function: Variable {
             identifier: "length",
             position: (623, 11),
            },
            arguments: [
             Variable {
              identifier: "list",
              position: (623, 18),
             },
            ],
           },
           Int {
            value: 1,
            position: (623, 25),
           },
          ],
          position: (623, 23),
         },
         Variable {
          identifier: "list",
          position: (623, 28),
         },
        ],
       },
       position: (622, 5),
      },
      position: (621, 10),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "crossLists",
        position: (632, 3),
       },
      ],
     },
     FunctionApplication {
      function: PropertyAccess {
       expression: Variable {
        identifier: "builtins",
        position: (632, 16),
       },
       attribute_path: AttributePath {
        attributes: [
         Raw {
          content: "trace",
          position: (632, 25),
         },
        ],
       },
       default: None,
      },
      arguments: [
       String {
        parts: [
         Raw {
          content: "lib.crossLists is deprecated, use lib.cartesianProductOfSets instead",
          position: (633, 6),
         },
        ],
       },
       Function {
        argument: Some(
         "f",
        ),
        arguments: FunctionArguments {
         arguments: [],
         ellipsis: false,
        },
        definition: FunctionApplication {
         function: Variable {
          identifier: "foldl",
          position: (634, 9),
         },
         arguments: [
          Function {
           argument: Some(
            "fs",
           ),
           arguments: FunctionArguments {
            arguments: [],
            ellipsis: false,
           },
           definition: Function {
            argument: Some(
             "args",
            ),
            arguments: FunctionArguments {
             arguments: [],
             ellipsis: false,
            },
            definition: FunctionApplication {
             function: Variable {
              identifier: "concatMap",
              position: (634, 26),
             },
             arguments: [
              Function {
               argument: Some(
                "f",
               ),
               arguments: FunctionArguments {
                arguments: [],
                ellipsis: false,
               },
               definition: FunctionApplication {
                function: Variable {
                 identifier: "map",
                 position: (634, 40),
                },
                arguments: [
                 Variable {
                  identifier: "f",
                  position: (634, 44),
                 },
                 Variable {
                  identifier: "args",
                  position: (634, 46),
                 },
                ],
               },
               position: (634, 37),
              },
              Variable {
               identifier: "fs",
               position: (634, 52),
              },
             ],
            },
            position: (634, 20),
           },
           position: (634, 16),
          },
          List {
           elements: [
            Variable {
             identifier: "f",
             position: (634, 57),
            },
           ],
           position: (634, 56),
          },
         ],
        },
        position: (634, 6),
       },
      ],
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "unique",
        position: (645, 3),
       },
      ],
     },
     FunctionApplication {
      function: Variable {
       identifier: "foldl'",
       position: (645, 12),
      },
      arguments: [
       Function {
        argument: Some(
         "acc",
        ),
        arguments: FunctionArguments {
         arguments: [],
         ellipsis: false,
        },
        definition: Function {
         argument: Some(
          "e",
         ),
         arguments: FunctionArguments {
          arguments: [],
          ellipsis: false,
         },
         definition: IfThenElse {
          predicate: FunctionApplication {
           function: Variable {
            identifier: "elem",
            position: (645, 31),
           },
           arguments: [
            Variable {
             identifier: "e",
             position: (645, 36),
            },
            Variable {
             identifier: "acc",
             position: (645, 38),
            },
           ],
          },
          then: Variable {
           identifier: "acc",
           position: (645, 47),
          },
          else_: BinaryOperation {
           operator: Concatenation,
           operands: [
            Variable {
             identifier: "acc",
             position: (645, 56),
            },
            List {
             elements: [
              Variable {
               identifier: "e",
               position: (645, 65),
              },
             ],
             position: (645, 63),
            },
           ],
           position: (645, 60),
          },
          position: (645, 28),
         },
         position: (645, 25),
        },
        position: (645, 20),
       },
       List {
        elements: [],
        position: (645, 70),
       },
      ],
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "intersectLists",
        position: (653, 3),
       },
      ],
     },
     Function {
      argument: Some(
       "e",
      ),
      arguments: FunctionArguments {
       arguments: [],
       ellipsis: false,
      },
      definition: FunctionApplication {
       function: Variable {
        identifier: "filter",
        position: (653, 23),
       },
       arguments: [
        Function {
         argument: Some(
          "x",
         ),
         arguments: FunctionArguments {
          arguments: [],
          ellipsis: false,
         },
         definition: FunctionApplication {
          function: Variable {
           identifier: "elem",
           position: (653, 34),
          },
          arguments: [
           Variable {
            identifier: "x",
            position: (653, 39),
           },
           Variable {
            identifier: "e",
            position: (653, 41),
           },
          ],
         },
         position: (653, 31),
        },
       ],
      },
      position: (653, 20),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "subtractLists",
        position: (661, 3),
       },
      ],
     },
     Function {
      argument: Some(
       "e",
      ),
      arguments: FunctionArguments {
       arguments: [],
       ellipsis: false,
      },
      definition: FunctionApplication {
       function: Variable {
        identifier: "filter",
        position: (661, 22),
       },
       arguments: [
        Function {
         argument: Some(
          "x",
         ),
         arguments: FunctionArguments {
          arguments: [],
          ellipsis: false,
         },
         definition: UnaryOperation {
          operator: Not,
          operand: FunctionApplication {
           function: Variable {
            identifier: "elem",
            position: (661, 35),
           },
           arguments: [
            Variable {
             identifier: "x",
             position: (661, 40),
            },
            Variable {
             identifier: "e",
             position: (661, 42),
            },
           ],
          },
          position: (661, 33),
         },
         position: (661, 30),
        },
       ],
      },
      position: (661, 19),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "mutuallyExclusive",
        position: (666, 3),
       },
      ],
     },
     Function {
      argument: Some(
       "a",
      ),
      arguments: FunctionArguments {
       arguments: [],
       ellipsis: false,
      },
      definition: Function {
       argument: Some(
        "b",
       ),
       arguments: FunctionArguments {
        arguments: [],
        ellipsis: false,
       },
       definition: BinaryOperation {
        operator: LogicalOr,
        operands: [
         BinaryOperation {
          operator: EqualTo,
          operands: [
           FunctionApplication {
            function: Variable {
             identifier: "length",
             position: (666, 29),
            },
            arguments: [
             Variable {
              identifier: "a",
              position: (666, 36),
             },
            ],
           },
           Int {
            value: 0,
            position: (666, 41),
           },
          ],
          position: (666, 38),
         },
         UnaryOperation {
          operator: Not,
          operand: FunctionApplication {
           function: Variable {
            identifier: "any",
            position: (666, 48),
           },
           arguments: [
            Function {
             argument: Some(
              "x",
             ),
             arguments: FunctionArguments {
              arguments: [],
              ellipsis: false,
             },
             definition: FunctionApplication {
              function: Variable {
               identifier: "elem",
               position: (666, 56),
              },
              arguments: [
               Variable {
                identifier: "x",
                position: (666, 61),
               },
               Variable {
                identifier: "a",
                position: (666, 63),
               },
              ],
             },
             position: (666, 53),
            },
            Variable {
             identifier: "b",
             position: (666, 66),
            },
           ],
          },
          position: (666, 46),
         },
        ],
        position: (666, 43),
       },
       position: (666, 26),
      },
      position: (666, 23),
     },
    ),
   ],
   recursive: true,
   position: (8, 1),
  },
  position: (4, 1),
 },
 position: (3, 1),
}