---
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),
     },
    ],
   ),
   Inherit(
    Some(
     PropertyAccess {
      expression: Variable {
       identifier: "lib",
       position: (7, 12),
      },
      attribute_path: AttributePath {
       attributes: [
        Raw {
         content: "attrsets",
         position: (7, 16),
        },
       ],
      },
      default: None,
     },
    ),
    [
     Raw {
      content: "mapAttrs",
      position: (7, 26),
     },
    ],
   ),
  ],
  target: Map {
   bindings: [
    Inherit(
     Some(
      Variable {
       identifier: "builtins",
       position: (11, 12),
      },
     ),
     [
      Raw {
       content: "head",
       position: (11, 22),
      },
      Raw {
       content: "tail",
       position: (11, 27),
      },
      Raw {
       content: "length",
       position: (11, 32),
      },
      Raw {
       content: "isList",
       position: (11, 39),
      },
      Raw {
       content: "elemAt",
       position: (11, 46),
      },
      Raw {
       content: "concatLists",
       position: (11, 53),
      },
      Raw {
       content: "filter",
       position: (11, 65),
      },
      Raw {
       content: "elem",
       position: (11, 72),
      },
      Raw {
       content: "genList",
       position: (11, 77),
      },
      Raw {
       content: "map",
       position: (11, 85),
      },
     ],
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "singleton",
        position: (23, 3),
       },
      ],
     },
     Function {
      argument: Some(
       "x",
      ),
      arguments: FunctionArguments {
       arguments: [],
       ellipsis: false,
      },
      definition: List {
       elements: [
        Variable {
         identifier: "x",
         position: (23, 19),
        },
       ],
       position: (23, 18),
      },
      position: (23, 15),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "forEach",
        position: (36, 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: (36, 20),
        },
        arguments: [
         Variable {
          identifier: "f",
          position: (36, 24),
         },
         Variable {
          identifier: "xs",
          position: (36, 26),
         },
        ],
       },
       position: (36, 17),
      },
      position: (36, 13),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "foldr",
        position: (53, 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: (55, 7),
             },
            ],
           },
           FunctionApplication {
            function: Variable {
             identifier: "length",
             position: (55, 13),
            },
            arguments: [
             Variable {
              identifier: "list",
              position: (55, 20),
             },
            ],
           },
          ),
          KeyValue(
           AttributePath {
            attributes: [
             Raw {
              content: "fold'",
              position: (56, 7),
             },
            ],
           },
           Function {
            argument: Some(
             "n",
            ),
            arguments: FunctionArguments {
             arguments: [],
             ellipsis: false,
            },
            definition: IfThenElse {
             predicate: BinaryOperation {
              operator: EqualTo,
              operands: [
               Variable {
                identifier: "n",
                position: (57, 12),
               },
               Variable {
                identifier: "len",
                position: (57, 17),
               },
              ],
              position: (57, 14),
             },
             then: Variable {
              identifier: "nul",
              position: (58, 14),
             },
             else_: FunctionApplication {
              function: Variable {
               identifier: "op",
               position: (59, 14),
              },
              arguments: [
               FunctionApplication {
                function: Variable {
                 identifier: "elemAt",
                 position: (59, 18),
                },
                arguments: [
                 Variable {
                  identifier: "list",
                  position: (59, 25),
                 },
                 Variable {
                  identifier: "n",
                  position: (59, 30),
                 },
                ],
               },
               FunctionApplication {
                function: Variable {
                 identifier: "fold'",
                 position: (59, 34),
                },
                arguments: [
                 BinaryOperation {
                  operator: Addition,
                  operands: [
                   Variable {
                    identifier: "n",
                    position: (59, 41),
                   },
                   Int {
                    value: 1,
                    position: (59, 45),
                   },
                  ],
                  position: (59, 43),
                 },
                ],
               },
              ],
             },
             position: (57, 9),
            },
            position: (56, 15),
           },
          ),
         ],
         target: FunctionApplication {
          function: Variable {
           identifier: "fold'",
           position: (60, 8),
          },
          arguments: [
           Int {
            value: 0,
            position: (60, 14),
           },
          ],
         },
         position: (54, 5),
        },
        position: (53, 20),
       },
       position: (53, 15),
      },
      position: (53, 11),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "fold",
        position: (64, 3),
       },
      ],
     },
     Variable {
      identifier: "foldr",
      position: (64, 10),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "foldl",
        position: (81, 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: (83, 7),
             },
            ],
           },
           Function {
            argument: Some(
             "n",
            ),
            arguments: FunctionArguments {
             arguments: [],
             ellipsis: false,
            },
            definition: IfThenElse {
             predicate: BinaryOperation {
              operator: EqualTo,
              operands: [
               Variable {
                identifier: "n",
                position: (84, 12),
               },
               UnaryOperation {
                operator: Negate,
                operand: Int {
                 value: 1,
                 position: (84, 18),
                },
                position: (84, 17),
               },
              ],
              position: (84, 14),
             },
             then: Variable {
              identifier: "nul",
              position: (85, 14),
             },
             else_: FunctionApplication {
              function: Variable {
               identifier: "op",
               position: (86, 14),
              },
              arguments: [
               FunctionApplication {
                function: Variable {
                 identifier: "foldl'",
                 position: (86, 18),
                },
                arguments: [
                 BinaryOperation {
                  operator: Subtraction,
                  operands: [
                   Variable {
                    identifier: "n",
                    position: (86, 26),
                   },
                   Int {
                    value: 1,
                    position: (86, 30),
                   },
                  ],
                  position: (86, 28),
                 },
                ],
               },
               FunctionApplication {
                function: Variable {
                 identifier: "elemAt",
                 position: (86, 35),
                },
                arguments: [
                 Variable {
                  identifier: "list",
                  position: (86, 42),
                 },
                 Variable {
                  identifier: "n",
                  position: (86, 47),
                 },
                ],
               },
              ],
             },
             position: (84, 9),
            },
            position: (83, 16),
           },
          ),
         ],
         target: FunctionApplication {
          function: Variable {
           identifier: "foldl'",
           position: (87, 8),
          },
          arguments: [
           BinaryOperation {
            operator: Subtraction,
            operands: [
             FunctionApplication {
              function: Variable {
               identifier: "length",
               position: (87, 16),
              },
              arguments: [
               Variable {
                identifier: "list",
                position: (87, 23),
               },
              ],
             },
             Int {
              value: 1,
              position: (87, 30),
             },
            ],
            position: (87, 28),
           },
          ],
         },
         position: (82, 5),
        },
        position: (81, 20),
       },
       position: (81, 15),
      },
      position: (81, 11),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "foldl'",
        position: (97, 3),
       },
      ],
     },
     PropertyAccess {
      expression: Variable {
       identifier: "builtins",
       position: (97, 12),
      },
      attribute_path: AttributePath {
       attributes: [
        Raw {
         content: "foldl'",
         position: (97, 21),
        },
       ],
      },
      default: Some(
       Variable {
        identifier: "foldl",
        position: (97, 31),
       },
      ),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "imap0",
        position: (107, 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: (107, 20),
        },
        arguments: [
         Function {
          argument: Some(
           "n",
          ),
          arguments: FunctionArguments {
           arguments: [],
           ellipsis: false,
          },
          definition: FunctionApplication {
           function: Variable {
            identifier: "f",
            position: (107, 32),
           },
           arguments: [
            Variable {
             identifier: "n",
             position: (107, 34),
            },
            FunctionApplication {
             function: Variable {
              identifier: "elemAt",
              position: (107, 37),
             },
             arguments: [
              Variable {
               identifier: "list",
               position: (107, 44),
              },
              Variable {
               identifier: "n",
               position: (107, 49),
              },
             ],
            },
           ],
          },
          position: (107, 29),
         },
         FunctionApplication {
          function: Variable {
           identifier: "length",
           position: (107, 54),
          },
          arguments: [
           Variable {
            identifier: "list",
            position: (107, 61),
           },
          ],
         },
        ],
       },
       position: (107, 14),
      },
      position: (107, 11),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "imap1",
        position: (117, 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: (117, 20),
        },
        arguments: [
         Function {
          argument: Some(
           "n",
          ),
          arguments: FunctionArguments {
           arguments: [],
           ellipsis: false,
          },
          definition: FunctionApplication {
           function: Variable {
            identifier: "f",
            position: (117, 32),
           },
           arguments: [
            BinaryOperation {
             operator: Addition,
             operands: [
              Variable {
               identifier: "n",
               position: (117, 35),
              },
              Int {
               value: 1,
               position: (117, 39),
              },
             ],
             position: (117, 37),
            },
            FunctionApplication {
             function: Variable {
              identifier: "elemAt",
              position: (117, 43),
             },
             arguments: [
              Variable {
               identifier: "list",
               position: (117, 50),
              },
              Variable {
               identifier: "n",
               position: (117, 55),
              },
             ],
            },
           ],
          },
          position: (117, 29),
         },
         FunctionApplication {
          function: Variable {
           identifier: "length",
           position: (117, 60),
          },
          arguments: [
           Variable {
            identifier: "list",
            position: (117, 67),
           },
          ],
         },
        ],
       },
       position: (117, 14),
      },
      position: (117, 11),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "concatMap",
        position: (127, 3),
       },
      ],
     },
     PropertyAccess {
      expression: Variable {
       identifier: "builtins",
       position: (127, 15),
      },
      attribute_path: AttributePath {
       attributes: [
        Raw {
         content: "concatMap",
         position: (127, 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: (127, 47),
          },
          arguments: [
           FunctionApplication {
            function: Variable {
             identifier: "map",
             position: (127, 60),
            },
            arguments: [
             Variable {
              identifier: "f",
              position: (127, 64),
             },
             Variable {
              identifier: "list",
              position: (127, 66),
             },
            ],
           },
          ],
         },
         position: (127, 41),
        },
        position: (127, 38),
       },
      ),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "flatten",
        position: (138, 3),
       },
      ],
     },
     Function {
      argument: Some(
       "x",
      ),
      arguments: FunctionArguments {
       arguments: [],
       ellipsis: false,
      },
      definition: IfThenElse {
       predicate: FunctionApplication {
        function: Variable {
         identifier: "isList",
         position: (139, 8),
        },
        arguments: [
         Variable {
          identifier: "x",
          position: (139, 15),
         },
        ],
       },
       then: FunctionApplication {
        function: Variable {
         identifier: "concatMap",
         position: (140, 10),
        },
        arguments: [
         Function {
          argument: Some(
           "y",
          ),
          arguments: FunctionArguments {
           arguments: [],
           ellipsis: false,
          },
          definition: FunctionApplication {
           function: Variable {
            identifier: "flatten",
            position: (140, 24),
           },
           arguments: [
            Variable {
             identifier: "y",
             position: (140, 32),
            },
           ],
          },
          position: (140, 21),
         },
         Variable {
          identifier: "x",
          position: (140, 35),
         },
        ],
       },
       else_: List {
        elements: [
         Variable {
          identifier: "x",
          position: (141, 11),
         },
        ],
        position: (141, 10),
       },
       position: (139, 5),
      },
      position: (138, 13),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "remove",
        position: (151, 3),
       },
      ],
     },
     Function {
      argument: Some(
       "e",
      ),
      arguments: FunctionArguments {
       arguments: [],
       ellipsis: false,
      },
      definition: FunctionApplication {
       function: Variable {
        identifier: "filter",
        position: (153, 8),
       },
       arguments: [
        Function {
         argument: Some(
          "x",
         ),
         arguments: FunctionArguments {
          arguments: [],
          ellipsis: false,
         },
         definition: BinaryOperation {
          operator: NotEqualTo,
          operands: [
           Variable {
            identifier: "x",
            position: (153, 19),
           },
           Variable {
            identifier: "e",
            position: (153, 24),
           },
          ],
          position: (153, 21),
         },
         position: (153, 16),
        },
       ],
      },
      position: (153, 5),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "findSingle",
        position: (169, 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: (178, 9),
              },
             ],
            },
            FunctionApplication {
             function: Variable {
              identifier: "filter",
              position: (178, 17),
             },
             arguments: [
              Variable {
               identifier: "pred",
               position: (178, 24),
              },
              Variable {
               identifier: "list",
               position: (178, 29),
              },
             ],
            },
           ),
           KeyValue(
            AttributePath {
             attributes: [
              Raw {
               content: "len",
               position: (178, 35),
              },
             ],
            },
            FunctionApplication {
             function: Variable {
              identifier: "length",
              position: (178, 41),
             },
             arguments: [
              Variable {
               identifier: "found",
               position: (178, 48),
              },
             ],
            },
           ),
          ],
          target: IfThenElse {
           predicate: BinaryOperation {
            operator: EqualTo,
            operands: [
             Variable {
              identifier: "len",
              position: (179, 11),
             },
             Int {
              value: 0,
              position: (179, 18),
             },
            ],
            position: (179, 15),
           },
           then: Variable {
            identifier: "default",
            position: (179, 25),
           },
           else_: IfThenElse {
            predicate: BinaryOperation {
             operator: NotEqualTo,
             operands: [
              Variable {
               identifier: "len",
               position: (180, 15),
              },
              Int {
               value: 1,
               position: (180, 22),
              },
             ],
             position: (180, 19),
            },
            then: Variable {
             identifier: "multiple",
             position: (180, 29),
            },
            else_: FunctionApplication {
             function: Variable {
              identifier: "head",
              position: (181, 12),
             },
             arguments: [
              Variable {
               identifier: "found",
               position: (181, 17),
              },
             ],
            },
            position: (180, 12),
           },
           position: (179, 8),
          },
          position: (178, 5),
         },
         position: (177, 5),
        },
        position: (175, 5),
       },
       position: (173, 5),
      },
      position: (171, 5),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "findFirst",
        position: (194, 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: (201, 9),
             },
            ],
           },
           FunctionApplication {
            function: Variable {
             identifier: "filter",
             position: (201, 17),
            },
            arguments: [
             Variable {
              identifier: "pred",
              position: (201, 24),
             },
             Variable {
              identifier: "list",
              position: (201, 29),
             },
            ],
           },
          ),
         ],
         target: IfThenElse {
          predicate: BinaryOperation {
           operator: EqualTo,
           operands: [
            Variable {
             identifier: "found",
             position: (202, 11),
            },
            List {
             elements: [],
             position: (202, 20),
            },
           ],
           position: (202, 17),
          },
          then: Variable {
           identifier: "default",
           position: (202, 28),
          },
          else_: FunctionApplication {
           function: Variable {
            identifier: "head",
            position: (202, 41),
           },
           arguments: [
            Variable {
             identifier: "found",
             position: (202, 46),
            },
           ],
          },
          position: (202, 8),
         },
         position: (201, 5),
        },
        position: (200, 5),
       },
       position: (198, 5),
      },
      position: (196, 5),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "any",
        position: (215, 3),
       },
      ],
     },
     PropertyAccess {
      expression: Variable {
       identifier: "builtins",
       position: (215, 9),
      },
      attribute_path: AttributePath {
       attributes: [
        Raw {
         content: "any",
         position: (215, 18),
        },
       ],
      },
      default: Some(
       Function {
        argument: Some(
         "pred",
        ),
        arguments: FunctionArguments {
         arguments: [],
         ellipsis: false,
        },
        definition: FunctionApplication {
         function: Variable {
          identifier: "foldr",
          position: (215, 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: (215, 48),
              },
              arguments: [
               Variable {
                identifier: "x",
                position: (215, 53),
               },
              ],
             },
             then: Variable {
              identifier: "true",
              position: (215, 60),
             },
             else_: Variable {
              identifier: "y",
              position: (215, 70),
             },
             position: (215, 45),
            },
            position: (215, 42),
           },
           position: (215, 39),
          },
          Variable {
           identifier: "false",
           position: (215, 73),
          },
         ],
        },
        position: (215, 26),
       },
      ),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "all",
        position: (228, 3),
       },
      ],
     },
     PropertyAccess {
      expression: Variable {
       identifier: "builtins",
       position: (228, 9),
      },
      attribute_path: AttributePath {
       attributes: [
        Raw {
         content: "all",
         position: (228, 18),
        },
       ],
      },
      default: Some(
       Function {
        argument: Some(
         "pred",
        ),
        arguments: FunctionArguments {
         arguments: [],
         ellipsis: false,
        },
        definition: FunctionApplication {
         function: Variable {
          identifier: "foldr",
          position: (228, 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: (228, 48),
              },
              arguments: [
               Variable {
                identifier: "x",
                position: (228, 53),
               },
              ],
             },
             then: Variable {
              identifier: "y",
              position: (228, 60),
             },
             else_: Variable {
              identifier: "false",
              position: (228, 67),
             },
             position: (228, 45),
            },
            position: (228, 42),
           },
           position: (228, 39),
          },
          Variable {
           identifier: "true",
           position: (228, 74),
          },
         ],
        },
        position: (228, 26),
       },
      ),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "count",
        position: (239, 3),
       },
      ],
     },
     Function {
      argument: Some(
       "pred",
      ),
      arguments: FunctionArguments {
       arguments: [],
       ellipsis: false,
      },
      definition: FunctionApplication {
       function: Variable {
        identifier: "foldl'",
        position: (241, 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: (241, 28),
            },
            arguments: [
             Variable {
              identifier: "x",
              position: (241, 33),
             },
            ],
           },
           then: BinaryOperation {
            operator: Addition,
            operands: [
             Variable {
              identifier: "c",
              position: (241, 40),
             },
             Int {
              value: 1,
              position: (241, 44),
             },
            ],
            position: (241, 42),
           },
           else_: Variable {
            identifier: "c",
            position: (241, 51),
           },
           position: (241, 25),
          },
          position: (241, 22),
         },
         position: (241, 19),
        },
        Int {
         value: 0,
         position: (241, 54),
        },
       ],
      },
      position: (241, 5),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "optional",
        position: (255, 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: (255, 29),
        },
        then: List {
         elements: [
          Variable {
           identifier: "elem",
           position: (255, 40),
          },
         ],
         position: (255, 39),
        },
        else_: List {
         elements: [],
         position: (255, 51),
        },
        position: (255, 26),
       },
       position: (255, 20),
      },
      position: (255, 14),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "optionals",
        position: (267, 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: (271, 15),
        },
        then: Variable {
         identifier: "elems",
         position: (271, 25),
        },
        else_: List {
         elements: [],
         position: (271, 36),
        },
        position: (271, 12),
       },
       position: (271, 5),
      },
      position: (269, 5),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "toList",
        position: (284, 3),
       },
      ],
     },
     Function {
      argument: Some(
       "x",
      ),
      arguments: FunctionArguments {
       arguments: [],
       ellipsis: false,
      },
      definition: IfThenElse {
       predicate: FunctionApplication {
        function: Variable {
         identifier: "isList",
         position: (284, 18),
        },
        arguments: [
         Variable {
          identifier: "x",
          position: (284, 25),
         },
        ],
       },
       then: Variable {
        identifier: "x",
        position: (284, 32),
       },
       else_: List {
        elements: [
         Variable {
          identifier: "x",
          position: (284, 40),
         },
        ],
        position: (284, 39),
       },
       position: (284, 15),
      },
      position: (284, 12),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "range",
        position: (296, 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: (301, 8),
          },
          Variable {
           identifier: "last",
           position: (301, 16),
          },
         ],
         position: (301, 14),
        },
        then: List {
         elements: [],
         position: (302, 7),
        },
        else_: FunctionApplication {
         function: Variable {
          identifier: "genList",
          position: (304, 7),
         },
         arguments: [
          Function {
           argument: Some(
            "n",
           ),
           arguments: FunctionArguments {
            arguments: [],
            ellipsis: false,
           },
           definition: BinaryOperation {
            operator: Addition,
            operands: [
             Variable {
              identifier: "first",
              position: (304, 19),
             },
             Variable {
              identifier: "n",
              position: (304, 27),
             },
            ],
            position: (304, 25),
           },
           position: (304, 16),
          },
          BinaryOperation {
           operator: Addition,
           operands: [
            BinaryOperation {
             operator: Subtraction,
             operands: [
              Variable {
               identifier: "last",
               position: (304, 31),
              },
              Variable {
               identifier: "first",
               position: (304, 38),
              },
             ],
             position: (304, 36),
            },
            Int {
             value: 1,
             position: (304, 46),
            },
           ],
           position: (304, 44),
          },
         ],
        },
        position: (301, 5),
       },
       position: (300, 5),
      },
      position: (298, 5),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "partition",
        position: (315, 3),
       },
      ],
     },
     PropertyAccess {
      expression: Variable {
       identifier: "builtins",
       position: (315, 15),
      },
      attribute_path: AttributePath {
       attributes: [
        Raw {
         content: "partition",
         position: (315, 24),
        },
       ],
      },
      default: Some(
       Function {
        argument: Some(
         "pred",
        ),
        arguments: FunctionArguments {
         arguments: [],
         ellipsis: false,
        },
        definition: FunctionApplication {
         function: Variable {
          identifier: "foldr",
          position: (316, 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: (317, 10),
              },
              arguments: [
               Variable {
                identifier: "h",
                position: (317, 15),
               },
              ],
             },
             then: Map {
              bindings: [
               KeyValue(
                AttributePath {
                 attributes: [
                  Raw {
                   content: "right",
                   position: (318, 14),
                  },
                 ],
                },
                BinaryOperation {
                 operator: Concatenation,
                 operands: [
                  List {
                   elements: [
                    Variable {
                     identifier: "h",
                     position: (318, 23),
                    },
                   ],
                   position: (318, 22),
                  },
                  PropertyAccess {
                   expression: Variable {
                    identifier: "t",
                    position: (318, 29),
                   },
                   attribute_path: AttributePath {
                    attributes: [
                     Raw {
                      content: "right",
                      position: (318, 31),
                     },
                    ],
                   },
                   default: None,
                  },
                 ],
                 position: (318, 26),
                },
               ),
               KeyValue(
                AttributePath {
                 attributes: [
                  Raw {
                   content: "wrong",
                   position: (318, 38),
                  },
                 ],
                },
                PropertyAccess {
                 expression: Variable {
                  identifier: "t",
                  position: (318, 46),
                 },
                 attribute_path: AttributePath {
                  attributes: [
                   Raw {
                    content: "wrong",
                    position: (318, 48),
                   },
                  ],
                 },
                 default: None,
                },
               ),
              ],
              recursive: false,
              position: (318, 12),
             },
             else_: Map {
              bindings: [
               KeyValue(
                AttributePath {
                 attributes: [
                  Raw {
                   content: "right",
                   position: (319, 14),
                  },
                 ],
                },
                PropertyAccess {
                 expression: Variable {
                  identifier: "t",
                  position: (319, 22),
                 },
                 attribute_path: AttributePath {
                  attributes: [
                   Raw {
                    content: "right",
                    position: (319, 24),
                   },
                  ],
                 },
                 default: None,
                },
               ),
               KeyValue(
                AttributePath {
                 attributes: [
                  Raw {
                   content: "wrong",
                   position: (319, 31),
                  },
                 ],
                },
                BinaryOperation {
                 operator: Concatenation,
                 operands: [
                  List {
                   elements: [
                    Variable {
                     identifier: "h",
                     position: (319, 40),
                    },
                   ],
                   position: (319, 39),
                  },
                  PropertyAccess {
                   expression: Variable {
                    identifier: "t",
                    position: (319, 46),
                   },
                   attribute_path: AttributePath {
                    attributes: [
                     Raw {
                      content: "wrong",
                      position: (319, 48),
                     },
                    ],
                   },
                   default: None,
                  },
                 ],
                 position: (319, 43),
                },
               ),
              ],
              recursive: false,
              position: (319, 12),
             },
             position: (317, 7),
            },
            position: (316, 15),
           },
           position: (316, 12),
          },
          Map {
           bindings: [
            KeyValue(
             AttributePath {
              attributes: [
               Raw {
                content: "right",
                position: (320, 9),
               },
              ],
             },
             List {
              elements: [],
              position: (320, 17),
             },
            ),
            KeyValue(
             AttributePath {
              attributes: [
               Raw {
                content: "wrong",
                position: (320, 21),
               },
              ],
             },
             List {
              elements: [],
              position: (320, 29),
             },
            ),
           ],
           recursive: false,
           position: (320, 7),
          },
         ],
        },
        position: (315, 38),
       },
      ),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "groupBy'",
        position: (344, 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: "mapAttrs",
           position: (344, 34),
          },
          arguments: [
           Function {
            argument: Some(
             "name",
            ),
            arguments: FunctionArguments {
             arguments: [],
             ellipsis: false,
            },
            definition: FunctionApplication {
             function: Variable {
              identifier: "foldl",
              position: (344, 50),
             },
             arguments: [
              Variable {
               identifier: "op",
               position: (344, 56),
              },
              Variable {
               identifier: "nul",
               position: (344, 59),
              },
             ],
            },
            position: (344, 44),
           },
           FunctionApplication {
            function: Variable {
             identifier: "groupBy",
             position: (344, 65),
            },
            arguments: [
             Variable {
              identifier: "pred",
              position: (344, 73),
             },
             Variable {
              identifier: "lst",
              position: (344, 78),
             },
            ],
           },
          ],
         },
         position: (344, 29),
        },
        position: (344, 23),
       },
       position: (344, 18),
      },
      position: (344, 14),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "groupBy",
        position: (346, 3),
       },
      ],
     },
     PropertyAccess {
      expression: Variable {
       identifier: "builtins",
       position: (346, 13),
      },
      attribute_path: AttributePath {
       attributes: [
        Raw {
         content: "groupBy",
         position: (346, 22),
        },
       ],
      },
      default: Some(
       Function {
        argument: Some(
         "pred",
        ),
        arguments: FunctionArguments {
         arguments: [],
         ellipsis: false,
        },
        definition: FunctionApplication {
         function: Variable {
          identifier: "foldl'",
          position: (347, 11),
         },
         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: (349, 10),
                 },
                ],
               },
               FunctionApplication {
                function: Variable {
                 identifier: "pred",
                 position: (349, 16),
                },
                arguments: [
                 Variable {
                  identifier: "e",
                  position: (349, 21),
                 },
                ],
               },
              ),
             ],
             target: BinaryOperation {
              operator: Update,
              operands: [
               Variable {
                identifier: "r",
                position: (351, 10),
               },
               Map {
                bindings: [
                 KeyValue(
                  AttributePath {
                   attributes: [
                    Expression {
                     expression: Variable {
                      identifier: "key",
                      position: (351, 19),
                     },
                    },
                   ],
                  },
                  BinaryOperation {
                   operator: Concatenation,
                   operands: [
                    PropertyAccess {
                     expression: Variable {
                      identifier: "r",
                      position: (351, 27),
                     },
                     attribute_path: AttributePath {
                      attributes: [
                       Expression {
                        expression: Variable {
                         identifier: "key",
                         position: (351, 31),
                        },
                       },
                      ],
                     },
                     default: Some(
                      List {
                       elements: [],
                       position: (351, 39),
                      },
                     ),
                    },
                    List {
                     elements: [
                      Variable {
                       identifier: "e",
                       position: (351, 47),
                      },
                     ],
                     position: (351, 46),
                    },
                   ],
                   position: (351, 43),
                  },
                 ),
                ],
                recursive: false,
                position: (351, 15),
               },
              ],
              position: (351, 12),
             },
             position: (348, 8),
            },
            position: (347, 22),
           },
           position: (347, 19),
          },
          Map {
           bindings: [],
           recursive: false,
           position: (352, 7),
          },
         ],
        },
        position: (347, 5),
       },
      ),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "zipListsWith",
        position: (364, 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: (371, 5),
         },
         arguments: [
          Function {
           argument: Some(
            "n",
           ),
           arguments: FunctionArguments {
            arguments: [],
            ellipsis: false,
           },
           definition: FunctionApplication {
            function: Variable {
             identifier: "f",
             position: (372, 11),
            },
            arguments: [
             FunctionApplication {
              function: Variable {
               identifier: "elemAt",
               position: (372, 14),
              },
              arguments: [
               Variable {
                identifier: "fst",
                position: (372, 21),
               },
               Variable {
                identifier: "n",
                position: (372, 25),
               },
              ],
             },
             FunctionApplication {
              function: Variable {
               identifier: "elemAt",
               position: (372, 29),
              },
              arguments: [
               Variable {
                identifier: "snd",
                position: (372, 36),
               },
               Variable {
                identifier: "n",
                position: (372, 40),
               },
              ],
             },
            ],
           },
           position: (372, 8),
          },
          FunctionApplication {
           function: Variable {
            identifier: "min",
            position: (372, 45),
           },
           arguments: [
            FunctionApplication {
             function: Variable {
              identifier: "length",
              position: (372, 50),
             },
             arguments: [
              Variable {
               identifier: "fst",
               position: (372, 57),
              },
             ],
            },
            FunctionApplication {
             function: Variable {
              identifier: "length",
              position: (372, 63),
             },
             arguments: [
              Variable {
               identifier: "snd",
               position: (372, 70),
              },
             ],
            },
           ],
          },
         ],
        },
        position: (370, 5),
       },
       position: (368, 5),
      },
      position: (366, 5),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "zipLists",
        position: (383, 3),
       },
      ],
     },
     FunctionApplication {
      function: Variable {
       identifier: "zipListsWith",
       position: (383, 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: (383, 48),
             },
             Raw {
              content: "snd",
              position: (383, 52),
             },
            ],
           ),
          ],
          recursive: false,
          position: (383, 38),
         },
         position: (383, 33),
        },
        position: (383, 28),
       },
      ],
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "reverseList",
        position: (394, 3),
       },
      ],
     },
     Function {
      argument: Some(
       "xs",
      ),
      arguments: FunctionArguments {
       arguments: [],
       ellipsis: false,
      },
      definition: LetIn {
       bindings: [
        KeyValue(
         AttributePath {
          attributes: [
           Raw {
            content: "l",
            position: (395, 9),
           },
          ],
         },
         FunctionApplication {
          function: Variable {
           identifier: "length",
           position: (395, 13),
          },
          arguments: [
           Variable {
            identifier: "xs",
            position: (395, 20),
           },
          ],
         },
        ),
       ],
       target: FunctionApplication {
        function: Variable {
         identifier: "genList",
         position: (395, 27),
        },
        arguments: [
         Function {
          argument: Some(
           "n",
          ),
          arguments: FunctionArguments {
           arguments: [],
           ellipsis: false,
          },
          definition: FunctionApplication {
           function: Variable {
            identifier: "elemAt",
            position: (395, 39),
           },
           arguments: [
            Variable {
             identifier: "xs",
             position: (395, 46),
            },
            BinaryOperation {
             operator: Subtraction,
             operands: [
              BinaryOperation {
               operator: Subtraction,
               operands: [
                Variable {
                 identifier: "l",
                 position: (395, 50),
                },
                Variable {
                 identifier: "n",
                 position: (395, 54),
                },
               ],
               position: (395, 52),
              },
              Int {
               value: 1,
               position: (395, 58),
              },
             ],
             position: (395, 56),
            },
           ],
          },
          position: (395, 36),
         },
         Variable {
          identifier: "l",
          position: (395, 62),
         },
        ],
       },
       position: (395, 5),
      },
      position: (394, 17),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "listDfs",
        position: (416, 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: (418, 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: (420, 11),
                   },
                  ],
                 },
                 FunctionApplication {
                  function: Variable {
                   identifier: "filter",
                   position: (420, 15),
                  },
                  arguments: [
                   Function {
                    argument: Some(
                     "x",
                    ),
                    arguments: FunctionArguments {
                     arguments: [],
                     ellipsis: false,
                    },
                    definition: FunctionApplication {
                     function: Variable {
                      identifier: "before",
                      position: (420, 26),
                     },
                     arguments: [
                      Variable {
                       identifier: "x",
                       position: (420, 33),
                      },
                      Variable {
                       identifier: "us",
                       position: (420, 35),
                      },
                     ],
                    },
                    position: (420, 23),
                   },
                   Variable {
                    identifier: "visited",
                    position: (420, 39),
                   },
                  ],
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "b",
                    position: (421, 11),
                   },
                  ],
                 },
                 FunctionApplication {
                  function: Variable {
                   identifier: "partition",
                   position: (421, 15),
                  },
                  arguments: [
                   Function {
                    argument: Some(
                     "x",
                    ),
                    arguments: FunctionArguments {
                     arguments: [],
                     ellipsis: false,
                    },
                    definition: FunctionApplication {
                     function: Variable {
                      identifier: "before",
                      position: (421, 29),
                     },
                     arguments: [
                      Variable {
                       identifier: "x",
                       position: (421, 36),
                      },
                      Variable {
                       identifier: "us",
                       position: (421, 38),
                      },
                     ],
                    },
                    position: (421, 26),
                   },
                   Variable {
                    identifier: "rest",
                    position: (421, 42),
                   },
                  ],
                 },
                ),
               ],
               target: IfThenElse {
                predicate: BinaryOperation {
                 operator: LogicalAnd,
                 operands: [
                  Variable {
                   identifier: "stopOnCycles",
                   position: (422, 15),
                  },
                  BinaryOperation {
                   operator: GreaterThan,
                   operands: [
                    FunctionApplication {
                     function: Variable {
                      identifier: "length",
                      position: (422, 32),
                     },
                     arguments: [
                      Variable {
                       identifier: "c",
                       position: (422, 39),
                      },
                     ],
                    },
                    Int {
                     value: 0,
                     position: (422, 43),
                    },
                   ],
                   position: (422, 41),
                  },
                 ],
                 position: (422, 28),
                },
                then: Map {
                 bindings: [
                  KeyValue(
                   AttributePath {
                    attributes: [
                     Raw {
                      content: "cycle",
                      position: (423, 19),
                     },
                    ],
                   },
                   Variable {
                    identifier: "us",
                    position: (423, 27),
                   },
                  ),
                  KeyValue(
                   AttributePath {
                    attributes: [
                     Raw {
                      content: "loops",
                      position: (423, 31),
                     },
                    ],
                   },
                   Variable {
                    identifier: "c",
                    position: (423, 39),
                   },
                  ),
                  Inherit(
                   None,
                   [
                    Raw {
                     content: "visited",
                     position: (423, 50),
                    },
                    Raw {
                     content: "rest",
                     position: (423, 58),
                    },
                   ],
                  ),
                 ],
                 recursive: false,
                 position: (423, 17),
                },
                else_: IfThenElse {
                 predicate: BinaryOperation {
                  operator: EqualTo,
                  operands: [
                   FunctionApplication {
                    function: Variable {
                     identifier: "length",
                     position: (424, 20),
                    },
                    arguments: [
                     PropertyAccess {
                      expression: Variable {
                       identifier: "b",
                       position: (424, 27),
                      },
                      attribute_path: AttributePath {
                       attributes: [
                        Raw {
                         content: "right",
                         position: (424, 29),
                        },
                       ],
                      },
                      default: None,
                     },
                    ],
                   },
                   Int {
                    value: 0,
                    position: (424, 38),
                   },
                  ],
                  position: (424, 35),
                 },
                 then: Map {
                  bindings: [
                   KeyValue(
                    AttributePath {
                     attributes: [
                      Raw {
                       content: "minimal",
                       position: (426, 24),
                      },
                     ],
                    },
                    Variable {
                     identifier: "us",
                     position: (426, 34),
                    },
                   ),
                   Inherit(
                    None,
                    [
                     Raw {
                      content: "visited",
                      position: (426, 46),
                     },
                     Raw {
                      content: "rest",
                      position: (426, 54),
                     },
                    ],
                   ),
                  ],
                  recursive: false,
                  position: (426, 22),
                 },
                 else_: FunctionApplication {
                  function: Variable {
                   identifier: "dfs'",
                   position: (428, 22),
                  },
                  arguments: [
                   FunctionApplication {
                    function: Variable {
                     identifier: "head",
                     position: (428, 28),
                    },
                    arguments: [
                     PropertyAccess {
                      expression: Variable {
                       identifier: "b",
                       position: (428, 33),
                      },
                      attribute_path: AttributePath {
                       attributes: [
                        Raw {
                         content: "right",
                         position: (428, 35),
                        },
                       ],
                      },
                      default: None,
                     },
                    ],
                   },
                   BinaryOperation {
                    operator: Concatenation,
                    operands: [
                     List {
                      elements: [
                       Variable {
                        identifier: "us",
                        position: (429, 30),
                       },
                      ],
                      position: (429, 28),
                     },
                     Variable {
                      identifier: "visited",
                      position: (429, 38),
                     },
                    ],
                    position: (429, 35),
                   },
                   BinaryOperation {
                    operator: Concatenation,
                    operands: [
                     FunctionApplication {
                      function: Variable {
                       identifier: "tail",
                       position: (430, 28),
                      },
                      arguments: [
                       PropertyAccess {
                        expression: Variable {
                         identifier: "b",
                         position: (430, 33),
                        },
                        attribute_path: AttributePath {
                         attributes: [
                          Raw {
                           content: "right",
                           position: (430, 35),
                          },
                         ],
                        },
                        default: None,
                       },
                      ],
                     },
                     PropertyAccess {
                      expression: Variable {
                       identifier: "b",
                       position: (430, 44),
                      },
                      attribute_path: AttributePath {
                       attributes: [
                        Raw {
                         content: "wrong",
                         position: (430, 46),
                        },
                       ],
                      },
                      default: None,
                     },
                    ],
                    position: (430, 41),
                   },
                  ],
                 },
                 position: (424, 17),
                },
                position: (422, 12),
               },
               position: (419, 9),
              },
              position: (418, 27),
             },
             position: (418, 18),
            },
            position: (418, 14),
           },
          ),
         ],
         target: FunctionApplication {
          function: Variable {
           identifier: "dfs'",
           position: (431, 8),
          },
          arguments: [
           FunctionApplication {
            function: Variable {
             identifier: "head",
             position: (431, 14),
            },
            arguments: [
             Variable {
              identifier: "list",
              position: (431, 19),
             },
            ],
           },
           List {
            elements: [],
            position: (431, 25),
           },
           FunctionApplication {
            function: Variable {
             identifier: "tail",
             position: (431, 29),
            },
            arguments: [
             Variable {
              identifier: "list",
              position: (431, 34),
             },
            ],
           },
          ],
         },
         position: (417, 5),
        },
        position: (416, 35),
       },
       position: (416, 27),
      },
      position: (416, 13),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "toposort",
        position: (455, 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: (457, 7),
            },
           ],
          },
          FunctionApplication {
           function: Variable {
            identifier: "listDfs",
            position: (457, 17),
           },
           arguments: [
            Variable {
             identifier: "true",
             position: (457, 25),
            },
            Variable {
             identifier: "before",
             position: (457, 30),
            },
            Variable {
             identifier: "list",
             position: (457, 37),
            },
           ],
          },
         ),
         KeyValue(
          AttributePath {
           attributes: [
            Raw {
             content: "toporest",
             position: (458, 7),
            },
           ],
          },
          FunctionApplication {
           function: Variable {
            identifier: "toposort",
            position: (458, 18),
           },
           arguments: [
            Variable {
             identifier: "before",
             position: (458, 27),
            },
            BinaryOperation {
             operator: Concatenation,
             operands: [
              PropertyAccess {
               expression: Variable {
                identifier: "dfsthis",
                position: (458, 35),
               },
               attribute_path: AttributePath {
                attributes: [
                 Raw {
                  content: "visited",
                  position: (458, 43),
                 },
                ],
               },
               default: None,
              },
              PropertyAccess {
               expression: Variable {
                identifier: "dfsthis",
                position: (458, 54),
               },
               attribute_path: AttributePath {
                attributes: [
                 Raw {
                  content: "rest",
                  position: (458, 62),
                 },
                ],
               },
               default: None,
              },
             ],
             position: (458, 51),
            },
           ],
          },
         ),
        ],
        target: IfThenElse {
         predicate: BinaryOperation {
          operator: LessThan,
          operands: [
           FunctionApplication {
            function: Variable {
             identifier: "length",
             position: (460, 10),
            },
            arguments: [
             Variable {
              identifier: "list",
              position: (460, 17),
             },
            ],
           },
           Int {
            value: 2,
            position: (460, 24),
           },
          ],
          position: (460, 22),
         },
         then: Map {
          bindings: [
           KeyValue(
            AttributePath {
             attributes: [
              Raw {
               content: "result",
               position: (462, 14),
              },
             ],
            },
            Variable {
             identifier: "list",
             position: (462, 24),
            },
           ),
          ],
          recursive: false,
          position: (462, 12),
         },
         else_: IfThenElse {
          predicate: HasProperty {
           expression: Variable {
            identifier: "dfsthis",
            position: (463, 15),
           },
           attribute_path: AttributePath {
            attributes: [
             Raw {
              content: "cycle",
              position: (463, 25),
             },
            ],
           },
           position: (463, 23),
          },
          then: Map {
           bindings: [
            KeyValue(
             AttributePath {
              attributes: [
               Raw {
                content: "cycle",
                position: (465, 19),
               },
              ],
             },
             FunctionApplication {
              function: Variable {
               identifier: "reverseList",
               position: (465, 27),
              },
              arguments: [
               BinaryOperation {
                operator: Concatenation,
                operands: [
                 List {
                  elements: [
                   PropertyAccess {
                    expression: Variable {
                     identifier: "dfsthis",
                     position: (465, 42),
                    },
                    attribute_path: AttributePath {
                     attributes: [
                      Raw {
                       content: "cycle",
                       position: (465, 50),
                      },
                     ],
                    },
                    default: None,
                   },
                  ],
                  position: (465, 40),
                 },
                 PropertyAccess {
                  expression: Variable {
                   identifier: "dfsthis",
                   position: (465, 61),
                  },
                  attribute_path: AttributePath {
                   attributes: [
                    Raw {
                     content: "visited",
                     position: (465, 69),
                    },
                   ],
                  },
                  default: None,
                 },
                ],
                position: (465, 58),
               },
              ],
             },
            ),
            Inherit(
             Some(
              Variable {
               identifier: "dfsthis",
               position: (466, 28),
              },
             ),
             [
              Raw {
               content: "loops",
               position: (466, 37),
              },
             ],
            ),
           ],
           recursive: false,
           position: (465, 17),
          },
          else_: IfThenElse {
           predicate: HasProperty {
            expression: Variable {
             identifier: "toporest",
             position: (467, 20),
            },
            attribute_path: AttributePath {
             attributes: [
              Raw {
               content: "cycle",
               position: (467, 31),
              },
             ],
            },
            position: (467, 29),
           },
           then: Variable {
            identifier: "toporest",
            position: (469, 22),
           },
           else_: Map {
            bindings: [
             KeyValue(
              AttributePath {
               attributes: [
                Raw {
                 content: "result",
                 position: (472, 24),
                },
               ],
              },
              BinaryOperation {
               operator: Concatenation,
               operands: [
                List {
                 elements: [
                  PropertyAccess {
                   expression: Variable {
                    identifier: "dfsthis",
                    position: (472, 35),
                   },
                   attribute_path: AttributePath {
                    attributes: [
                     Raw {
                      content: "minimal",
                      position: (472, 43),
                     },
                    ],
                   },
                   default: None,
                  },
                 ],
                 position: (472, 33),
                },
                PropertyAccess {
                 expression: Variable {
                  identifier: "toporest",
                  position: (472, 56),
                 },
                 attribute_path: AttributePath {
                  attributes: [
                   Raw {
                    content: "result",
                    position: (472, 65),
                   },
                  ],
                 },
                 default: None,
                },
               ],
               position: (472, 53),
              },
             ),
            ],
            recursive: false,
            position: (472, 22),
           },
           position: (467, 17),
          },
          position: (463, 12),
         },
         position: (460, 7),
        },
        position: (456, 5),
       },
       position: (455, 22),
      },
      position: (455, 14),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "sort",
        position: (483, 3),
       },
      ],
     },
     PropertyAccess {
      expression: Variable {
       identifier: "builtins",
       position: (483, 10),
      },
      attribute_path: AttributePath {
       attributes: [
        Raw {
         content: "sort",
         position: (483, 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: (486, 7),
              },
             ],
            },
            FunctionApplication {
             function: Variable {
              identifier: "length",
              position: (486, 13),
             },
             arguments: [
              Variable {
               identifier: "list",
               position: (486, 20),
              },
             ],
            },
           ),
           KeyValue(
            AttributePath {
             attributes: [
              Raw {
               content: "first",
               position: (487, 7),
              },
             ],
            },
            FunctionApplication {
             function: Variable {
              identifier: "head",
              position: (487, 15),
             },
             arguments: [
              Variable {
               identifier: "list",
               position: (487, 20),
              },
             ],
            },
           ),
           KeyValue(
            AttributePath {
             attributes: [
              Raw {
               content: "pivot'",
               position: (488, 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: (488, 44),
                   },
                  ],
                 },
                 FunctionApplication {
                  function: Variable {
                   identifier: "elemAt",
                   position: (488, 49),
                  },
                  arguments: [
                   Variable {
                    identifier: "list",
                    position: (488, 56),
                   },
                   Variable {
                    identifier: "n",
                    position: (488, 61),
                   },
                  ],
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "next",
                    position: (488, 64),
                   },
                  ],
                 },
                 FunctionApplication {
                  function: Variable {
                   identifier: "pivot'",
                   position: (488, 71),
                  },
                  arguments: [
                   BinaryOperation {
                    operator: Addition,
                    operands: [
                     Variable {
                      identifier: "n",
                      position: (488, 79),
                     },
                     Int {
                      value: 1,
                      position: (488, 83),
                     },
                    ],
                    position: (488, 81),
                   },
                  ],
                 },
                ),
               ],
               target: IfThenElse {
                predicate: BinaryOperation {
                 operator: EqualTo,
                 operands: [
                  Variable {
                   identifier: "n",
                   position: (489, 12),
                  },
                  Variable {
                   identifier: "len",
                   position: (489, 17),
                  },
                 ],
                 position: (489, 14),
                },
                then: Variable {
                 identifier: "acc",
                 position: (490, 16),
                },
                else_: IfThenElse {
                 predicate: FunctionApplication {
                  function: Variable {
                   identifier: "strictLess",
                   position: (491, 17),
                  },
                  arguments: [
                   Variable {
                    identifier: "first",
                    position: (491, 28),
                   },
                   Variable {
                    identifier: "el",
                    position: (491, 34),
                   },
                  ],
                 },
                 then: FunctionApplication {
                  function: Variable {
                   identifier: "next",
                   position: (492, 16),
                  },
                  arguments: [
                   Map {
                    bindings: [
                     Inherit(
                      None,
                      [
                       Raw {
                        content: "left",
                        position: (492, 31),
                       },
                      ],
                     ),
                     KeyValue(
                      AttributePath {
                       attributes: [
                        Raw {
                         content: "right",
                         position: (492, 37),
                        },
                       ],
                      },
                      BinaryOperation {
                       operator: Concatenation,
                       operands: [
                        List {
                         elements: [
                          Variable {
                           identifier: "el",
                           position: (492, 47),
                          },
                         ],
                         position: (492, 45),
                        },
                        Variable {
                         identifier: "right",
                         position: (492, 55),
                        },
                       ],
                       position: (492, 52),
                      },
                     ),
                    ],
                    recursive: false,
                    position: (492, 21),
                   },
                  ],
                 },
                 else_: FunctionApplication {
                  function: Variable {
                   identifier: "next",
                   position: (494, 11),
                  },
                  arguments: [
                   Map {
                    bindings: [
                     KeyValue(
                      AttributePath {
                       attributes: [
                        Raw {
                         content: "left",
                         position: (494, 18),
                        },
                       ],
                      },
                      BinaryOperation {
                       operator: Concatenation,
                       operands: [
                        List {
                         elements: [
                          Variable {
                           identifier: "el",
                           position: (494, 27),
                          },
                         ],
                         position: (494, 25),
                        },
                        Variable {
                         identifier: "left",
                         position: (494, 35),
                        },
                       ],
                       position: (494, 32),
                      },
                     ),
                     Inherit(
                      None,
                      [
                       Raw {
                        content: "right",
                        position: (494, 49),
                       },
                      ],
                     ),
                    ],
                    recursive: false,
                    position: (494, 16),
                   },
                  ],
                 },
                 position: (491, 14),
                },
                position: (489, 9),
               },
               position: (488, 40),
              },
              position: (488, 19),
             },
             position: (488, 16),
            },
           ),
           KeyValue(
            AttributePath {
             attributes: [
              Raw {
               content: "pivot",
               position: (495, 7),
              },
             ],
            },
            FunctionApplication {
             function: Variable {
              identifier: "pivot'",
              position: (495, 15),
             },
             arguments: [
              Int {
               value: 1,
               position: (495, 22),
              },
              Map {
               bindings: [
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "left",
                    position: (495, 26),
                   },
                  ],
                 },
                 List {
                  elements: [],
                  position: (495, 33),
                 },
                ),
                KeyValue(
                 AttributePath {
                  attributes: [
                   Raw {
                    content: "right",
                    position: (495, 37),
                   },
                  ],
                 },
                 List {
                  elements: [],
                  position: (495, 45),
                 },
                ),
               ],
               recursive: false,
               position: (495, 24),
              },
             ],
            },
           ),
          ],
          target: IfThenElse {
           predicate: BinaryOperation {
            operator: LessThan,
            operands: [
             Variable {
              identifier: "len",
              position: (497, 10),
             },
             Int {
              value: 2,
              position: (497, 16),
             },
            ],
            position: (497, 14),
           },
           then: Variable {
            identifier: "list",
            position: (497, 23),
           },
           else_: BinaryOperation {
            operator: Concatenation,
            operands: [
             FunctionApplication {
              function: Variable {
               identifier: "sort",
               position: (498, 13),
              },
              arguments: [
               Variable {
                identifier: "strictLess",
                position: (498, 18),
               },
               PropertyAccess {
                expression: Variable {
                 identifier: "pivot",
                 position: (498, 29),
                },
                attribute_path: AttributePath {
                 attributes: [
                  Raw {
                   content: "left",
                   position: (498, 35),
                  },
                 ],
                },
                default: None,
               },
              ],
             },
             BinaryOperation {
              operator: Concatenation,
              operands: [
               List {
                elements: [
                 Variable {
                  identifier: "first",
                  position: (498, 47),
                 },
                ],
                position: (498, 45),
               },
               FunctionApplication {
                function: Variable {
                 identifier: "sort",
                 position: (498, 60),
                },
                arguments: [
                 Variable {
                  identifier: "strictLess",
                  position: (498, 65),
                 },
                 PropertyAccess {
                  expression: Variable {
                   identifier: "pivot",
                   position: (498, 76),
                  },
                  attribute_path: AttributePath {
                   attributes: [
                    Raw {
                     content: "right",
                     position: (498, 82),
                    },
                   ],
                  },
                  default: None,
                 },
                ],
               },
              ],
              position: (498, 55),
             },
            ],
            position: (498, 41),
           },
           position: (497, 7),
          },
          position: (485, 5),
         },
         position: (484, 17),
        },
        position: (484, 5),
       },
      ),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "compareLists",
        position: (512, 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: (513, 8),
           },
           List {
            elements: [],
            position: (513, 13),
           },
          ],
          position: (513, 10),
         },
         then: IfThenElse {
          predicate: BinaryOperation {
           operator: EqualTo,
           operands: [
            Variable {
             identifier: "b",
             position: (514, 13),
            },
            List {
             elements: [],
             position: (514, 18),
            },
           ],
           position: (514, 15),
          },
          then: Int {
           value: 0,
           position: (515, 15),
          },
          else_: UnaryOperation {
           operator: Negate,
           operand: Int {
            value: 1,
            position: (516, 16),
           },
           position: (516, 15),
          },
          position: (514, 10),
         },
         else_: IfThenElse {
          predicate: BinaryOperation {
           operator: EqualTo,
           operands: [
            Variable {
             identifier: "b",
             position: (517, 13),
            },
            List {
             elements: [],
             position: (517, 18),
            },
           ],
           position: (517, 15),
          },
          then: Int {
           value: 1,
           position: (518, 15),
          },
          else_: LetIn {
           bindings: [
            KeyValue(
             AttributePath {
              attributes: [
               Raw {
                content: "rel",
                position: (519, 19),
               },
              ],
             },
             FunctionApplication {
              function: Variable {
               identifier: "cmp",
               position: (519, 25),
              },
              arguments: [
               FunctionApplication {
                function: Variable {
                 identifier: "head",
                 position: (519, 30),
                },
                arguments: [
                 Variable {
                  identifier: "a",
                  position: (519, 35),
                 },
                ],
               },
               FunctionApplication {
                function: Variable {
                 identifier: "head",
                 position: (519, 39),
                },
                arguments: [
                 Variable {
                  identifier: "b",
                  position: (519, 44),
                 },
                ],
               },
              ],
             },
            ),
           ],
           target: IfThenElse {
            predicate: BinaryOperation {
             operator: EqualTo,
             operands: [
              Variable {
               identifier: "rel",
               position: (520, 18),
              },
              Int {
               value: 0,
               position: (520, 25),
              },
             ],
             position: (520, 22),
            },
            then: FunctionApplication {
             function: Variable {
              identifier: "compareLists",
              position: (521, 20),
             },
             arguments: [
              Variable {
               identifier: "cmp",
               position: (521, 33),
              },
              FunctionApplication {
               function: Variable {
                identifier: "tail",
                position: (521, 38),
               },
               arguments: [
                Variable {
                 identifier: "a",
                 position: (521, 43),
                },
               ],
              },
              FunctionApplication {
               function: Variable {
                identifier: "tail",
                position: (521, 47),
               },
               arguments: [
                Variable {
                 identifier: "b",
                 position: (521, 52),
                },
               ],
              },
             ],
            },
            else_: Variable {
             identifier: "rel",
             position: (522, 20),
            },
            position: (520, 15),
           },
           position: (519, 15),
          },
          position: (517, 10),
         },
         position: (513, 5),
        },
        position: (512, 26),
       },
       position: (512, 23),
      },
      position: (512, 18),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "naturalSort",
        position: (535, 3),
       },
      ],
     },
     Function {
      argument: Some(
       "lst",
      ),
      arguments: FunctionArguments {
       arguments: [],
       ellipsis: false,
      },
      definition: LetIn {
       bindings: [
        KeyValue(
         AttributePath {
          attributes: [
           Raw {
            content: "vectorise",
            position: (537, 7),
           },
          ],
         },
         Function {
          argument: Some(
           "s",
          ),
          arguments: FunctionArguments {
           arguments: [],
           ellipsis: false,
          },
          definition: FunctionApplication {
           function: Variable {
            identifier: "map",
            position: (537, 22),
           },
           arguments: [
            Function {
             argument: Some(
              "x",
             ),
             arguments: FunctionArguments {
              arguments: [],
              ellipsis: false,
             },
             definition: IfThenElse {
              predicate: FunctionApplication {
               function: Variable {
                identifier: "isList",
                position: (537, 33),
               },
               arguments: [
                Variable {
                 identifier: "x",
                 position: (537, 40),
                },
               ],
              },
              then: FunctionApplication {
               function: Variable {
                identifier: "toInt",
                position: (537, 47),
               },
               arguments: [
                FunctionApplication {
                 function: Variable {
                  identifier: "head",
                  position: (537, 54),
                 },
                 arguments: [
                  Variable {
                   identifier: "x",
                   position: (537, 59),
                  },
                 ],
                },
               ],
              },
              else_: Variable {
               identifier: "x",
               position: (537, 67),
              },
              position: (537, 30),
             },
             position: (537, 27),
            },
            FunctionApplication {
             function: PropertyAccess {
              expression: Variable {
               identifier: "builtins",
               position: (537, 71),
              },
              attribute_path: AttributePath {
               attributes: [
                Raw {
                 content: "split",
                 position: (537, 80),
                },
               ],
              },
              default: None,
             },
             arguments: [
              String {
               parts: [
                Raw {
                 content: "(0|[1-9][0-9]*)",
                },
               ],
               position: (537, 86),
              },
              Variable {
               identifier: "s",
               position: (537, 104),
              },
             ],
            },
           ],
          },
          position: (537, 19),
         },
        ),
        KeyValue(
         AttributePath {
          attributes: [
           Raw {
            content: "prepared",
            position: (538, 7),
           },
          ],
         },
         FunctionApplication {
          function: Variable {
           identifier: "map",
           position: (538, 18),
          },
          arguments: [
           Function {
            argument: Some(
             "x",
            ),
            arguments: FunctionArguments {
             arguments: [],
             ellipsis: false,
            },
            definition: List {
             elements: [
              FunctionApplication {
               function: Variable {
                identifier: "vectorise",
                position: (538, 29),
               },
               arguments: [
                Variable {
                 identifier: "x",
                 position: (538, 39),
                },
               ],
              },
              Variable {
               identifier: "x",
               position: (538, 42),
              },
             ],
             position: (538, 26),
            },
            position: (538, 23),
           },
           Variable {
            identifier: "lst",
            position: (538, 47),
           },
          ],
         },
        ),
        KeyValue(
         AttributePath {
          attributes: [
           Raw {
            content: "less",
            position: (539, 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: (539, 21),
              },
              arguments: [
               Variable {
                identifier: "compare",
                position: (539, 34),
               },
               FunctionApplication {
                function: Variable {
                 identifier: "head",
                 position: (539, 43),
                },
                arguments: [
                 Variable {
                  identifier: "a",
                  position: (539, 48),
                 },
                ],
               },
               FunctionApplication {
                function: Variable {
                 identifier: "head",
                 position: (539, 52),
                },
                arguments: [
                 Variable {
                  identifier: "b",
                  position: (539, 57),
                 },
                ],
               },
              ],
             },
             Int {
              value: 0,
              position: (539, 63),
             },
            ],
            position: (539, 61),
           },
           position: (539, 17),
          },
          position: (539, 14),
         },
        ),
       ],
       target: FunctionApplication {
        function: Variable {
         identifier: "map",
         position: (541, 7),
        },
        arguments: [
         Function {
          argument: Some(
           "x",
          ),
          arguments: FunctionArguments {
           arguments: [],
           ellipsis: false,
          },
          definition: FunctionApplication {
           function: Variable {
            identifier: "elemAt",
            position: (541, 15),
           },
           arguments: [
            Variable {
             identifier: "x",
             position: (541, 22),
            },
            Int {
             value: 1,
             position: (541, 24),
            },
           ],
          },
          position: (541, 12),
         },
         FunctionApplication {
          function: Variable {
           identifier: "sort",
           position: (541, 28),
          },
          arguments: [
           Variable {
            identifier: "less",
            position: (541, 33),
           },
           Variable {
            identifier: "prepared",
            position: (541, 38),
           },
          ],
         },
        ],
       },
       position: (536, 5),
      },
      position: (535, 17),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "take",
        position: (553, 3),
       },
      ],
     },
     Function {
      argument: Some(
       "count",
      ),
      arguments: FunctionArguments {
       arguments: [],
       ellipsis: false,
      },
      definition: FunctionApplication {
       function: Variable {
        identifier: "sublist",
        position: (555, 12),
       },
       arguments: [
        Int {
         value: 0,
         position: (555, 20),
        },
        Variable {
         identifier: "count",
         position: (555, 22),
        },
       ],
      },
      position: (555, 5),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "drop",
        position: (567, 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: (571, 11),
        },
        arguments: [
         Variable {
          identifier: "count",
          position: (571, 19),
         },
         FunctionApplication {
          function: Variable {
           identifier: "length",
           position: (571, 26),
          },
          arguments: [
           Variable {
            identifier: "list",
            position: (571, 33),
           },
          ],
         },
         Variable {
          identifier: "list",
          position: (571, 39),
         },
        ],
       },
       position: (571, 5),
      },
      position: (569, 5),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "sublist",
        position: (584, 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: (591, 9),
             },
            ],
           },
           FunctionApplication {
            function: Variable {
             identifier: "length",
             position: (591, 15),
            },
            arguments: [
             Variable {
              identifier: "list",
              position: (591, 22),
             },
            ],
           },
          ),
         ],
         target: FunctionApplication {
          function: Variable {
           identifier: "genList",
           position: (592, 5),
          },
          arguments: [
           Function {
            argument: Some(
             "n",
            ),
            arguments: FunctionArguments {
             arguments: [],
             ellipsis: false,
            },
            definition: FunctionApplication {
             function: Variable {
              identifier: "elemAt",
              position: (593, 11),
             },
             arguments: [
              Variable {
               identifier: "list",
               position: (593, 18),
              },
              BinaryOperation {
               operator: Addition,
               operands: [
                Variable {
                 identifier: "n",
                 position: (593, 24),
                },
                Variable {
                 identifier: "start",
                 position: (593, 28),
                },
               ],
               position: (593, 26),
              },
             ],
            },
            position: (593, 8),
           },
           IfThenElse {
            predicate: BinaryOperation {
             operator: GreaterThanOrEqualTo,
             operands: [
              Variable {
               identifier: "start",
               position: (594, 11),
              },
              Variable {
               identifier: "len",
               position: (594, 20),
              },
             ],
             position: (594, 17),
            },
            then: Int {
             value: 0,
             position: (594, 29),
            },
            else_: IfThenElse {
             predicate: BinaryOperation {
              operator: GreaterThan,
              operands: [
               BinaryOperation {
                operator: Addition,
                operands: [
                 Variable {
                  identifier: "start",
                  position: (595, 16),
                 },
                 Variable {
                  identifier: "count",
                  position: (595, 24),
                 },
                ],
                position: (595, 22),
               },
               Variable {
                identifier: "len",
                position: (595, 32),
               },
              ],
              position: (595, 30),
             },
             then: BinaryOperation {
              operator: Subtraction,
              operands: [
               Variable {
                identifier: "len",
                position: (595, 41),
               },
               Variable {
                identifier: "start",
                position: (595, 47),
               },
              ],
              position: (595, 45),
             },
             else_: Variable {
              identifier: "count",
              position: (596, 13),
             },
             position: (595, 13),
            },
            position: (594, 8),
           },
          ],
         },
         position: (591, 5),
        },
        position: (590, 5),
       },
       position: (588, 5),
      },
      position: (586, 5),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "last",
        position: (608, 3),
       },
      ],
     },
     Function {
      argument: Some(
       "list",
      ),
      arguments: FunctionArguments {
       arguments: [],
       ellipsis: false,
      },
      definition: Assert {
       expression: FunctionApplication {
        function: PropertyAccess {
         expression: Variable {
          identifier: "lib",
          position: (609, 12),
         },
         attribute_path: AttributePath {
          attributes: [
           Raw {
            content: "assertMsg",
            position: (609, 16),
           },
          ],
         },
         default: None,
        },
        arguments: [
         BinaryOperation {
          operator: NotEqualTo,
          operands: [
           Variable {
            identifier: "list",
            position: (609, 27),
           },
           List {
            elements: [],
            position: (609, 35),
           },
          ],
          position: (609, 32),
         },
         String {
          parts: [
           Raw {
            content: "lists.last: list must not be empty!",
           },
          ],
          position: (609, 39),
         },
        ],
       },
       target: FunctionApplication {
        function: Variable {
         identifier: "elemAt",
         position: (610, 5),
        },
        arguments: [
         Variable {
          identifier: "list",
          position: (610, 12),
         },
         BinaryOperation {
          operator: Subtraction,
          operands: [
           FunctionApplication {
            function: Variable {
             identifier: "length",
             position: (610, 18),
            },
            arguments: [
             Variable {
              identifier: "list",
              position: (610, 25),
             },
            ],
           },
           Int {
            value: 1,
            position: (610, 32),
           },
          ],
          position: (610, 30),
         },
        ],
       },
       position: (609, 5),
      },
      position: (608, 10),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "init",
        position: (622, 3),
       },
      ],
     },
     Function {
      argument: Some(
       "list",
      ),
      arguments: FunctionArguments {
       arguments: [],
       ellipsis: false,
      },
      definition: Assert {
       expression: FunctionApplication {
        function: PropertyAccess {
         expression: Variable {
          identifier: "lib",
          position: (623, 12),
         },
         attribute_path: AttributePath {
          attributes: [
           Raw {
            content: "assertMsg",
            position: (623, 16),
           },
          ],
         },
         default: None,
        },
        arguments: [
         BinaryOperation {
          operator: NotEqualTo,
          operands: [
           Variable {
            identifier: "list",
            position: (623, 27),
           },
           List {
            elements: [],
            position: (623, 35),
           },
          ],
          position: (623, 32),
         },
         String {
          parts: [
           Raw {
            content: "lists.init: list must not be empty!",
           },
          ],
          position: (623, 39),
         },
        ],
       },
       target: FunctionApplication {
        function: Variable {
         identifier: "take",
         position: (624, 5),
        },
        arguments: [
         BinaryOperation {
          operator: Subtraction,
          operands: [
           FunctionApplication {
            function: Variable {
             identifier: "length",
             position: (624, 11),
            },
            arguments: [
             Variable {
              identifier: "list",
              position: (624, 18),
             },
            ],
           },
           Int {
            value: 1,
            position: (624, 25),
           },
          ],
          position: (624, 23),
         },
         Variable {
          identifier: "list",
          position: (624, 28),
         },
        ],
       },
       position: (623, 5),
      },
      position: (622, 10),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "crossLists",
        position: (633, 3),
       },
      ],
     },
     FunctionApplication {
      function: PropertyAccess {
       expression: Variable {
        identifier: "builtins",
        position: (633, 16),
       },
       attribute_path: AttributePath {
        attributes: [
         Raw {
          content: "trace",
          position: (633, 25),
         },
        ],
       },
       default: None,
      },
      arguments: [
       String {
        parts: [
         Raw {
          content: "lib.crossLists is deprecated, use lib.cartesianProductOfSets instead",
         },
        ],
        position: (634, 5),
       },
       Function {
        argument: Some(
         "f",
        ),
        arguments: FunctionArguments {
         arguments: [],
         ellipsis: false,
        },
        definition: FunctionApplication {
         function: Variable {
          identifier: "foldl",
          position: (635, 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: (635, 26),
             },
             arguments: [
              Function {
               argument: Some(
                "f",
               ),
               arguments: FunctionArguments {
                arguments: [],
                ellipsis: false,
               },
               definition: FunctionApplication {
                function: Variable {
                 identifier: "map",
                 position: (635, 40),
                },
                arguments: [
                 Variable {
                  identifier: "f",
                  position: (635, 44),
                 },
                 Variable {
                  identifier: "args",
                  position: (635, 46),
                 },
                ],
               },
               position: (635, 37),
              },
              Variable {
               identifier: "fs",
               position: (635, 52),
              },
             ],
            },
            position: (635, 20),
           },
           position: (635, 16),
          },
          List {
           elements: [
            Variable {
             identifier: "f",
             position: (635, 57),
            },
           ],
           position: (635, 56),
          },
         ],
        },
        position: (635, 6),
       },
      ],
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "unique",
        position: (646, 3),
       },
      ],
     },
     FunctionApplication {
      function: Variable {
       identifier: "foldl'",
       position: (646, 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: (646, 31),
           },
           arguments: [
            Variable {
             identifier: "e",
             position: (646, 36),
            },
            Variable {
             identifier: "acc",
             position: (646, 38),
            },
           ],
          },
          then: Variable {
           identifier: "acc",
           position: (646, 47),
          },
          else_: BinaryOperation {
           operator: Concatenation,
           operands: [
            Variable {
             identifier: "acc",
             position: (646, 56),
            },
            List {
             elements: [
              Variable {
               identifier: "e",
               position: (646, 65),
              },
             ],
             position: (646, 63),
            },
           ],
           position: (646, 60),
          },
          position: (646, 28),
         },
         position: (646, 25),
        },
        position: (646, 20),
       },
       List {
        elements: [],
        position: (646, 70),
       },
      ],
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "intersectLists",
        position: (654, 3),
       },
      ],
     },
     Function {
      argument: Some(
       "e",
      ),
      arguments: FunctionArguments {
       arguments: [],
       ellipsis: false,
      },
      definition: FunctionApplication {
       function: Variable {
        identifier: "filter",
        position: (654, 23),
       },
       arguments: [
        Function {
         argument: Some(
          "x",
         ),
         arguments: FunctionArguments {
          arguments: [],
          ellipsis: false,
         },
         definition: FunctionApplication {
          function: Variable {
           identifier: "elem",
           position: (654, 34),
          },
          arguments: [
           Variable {
            identifier: "x",
            position: (654, 39),
           },
           Variable {
            identifier: "e",
            position: (654, 41),
           },
          ],
         },
         position: (654, 31),
        },
       ],
      },
      position: (654, 20),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "subtractLists",
        position: (662, 3),
       },
      ],
     },
     Function {
      argument: Some(
       "e",
      ),
      arguments: FunctionArguments {
       arguments: [],
       ellipsis: false,
      },
      definition: FunctionApplication {
       function: Variable {
        identifier: "filter",
        position: (662, 22),
       },
       arguments: [
        Function {
         argument: Some(
          "x",
         ),
         arguments: FunctionArguments {
          arguments: [],
          ellipsis: false,
         },
         definition: UnaryOperation {
          operator: Not,
          operand: FunctionApplication {
           function: Variable {
            identifier: "elem",
            position: (662, 35),
           },
           arguments: [
            Variable {
             identifier: "x",
             position: (662, 40),
            },
            Variable {
             identifier: "e",
             position: (662, 42),
            },
           ],
          },
          position: (662, 33),
         },
         position: (662, 30),
        },
       ],
      },
      position: (662, 19),
     },
    ),
    KeyValue(
     AttributePath {
      attributes: [
       Raw {
        content: "mutuallyExclusive",
        position: (667, 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: (667, 29),
            },
            arguments: [
             Variable {
              identifier: "a",
              position: (667, 36),
             },
            ],
           },
           Int {
            value: 0,
            position: (667, 41),
           },
          ],
          position: (667, 38),
         },
         UnaryOperation {
          operator: Not,
          operand: FunctionApplication {
           function: Variable {
            identifier: "any",
            position: (667, 48),
           },
           arguments: [
            Function {
             argument: Some(
              "x",
             ),
             arguments: FunctionArguments {
              arguments: [],
              ellipsis: false,
             },
             definition: FunctionApplication {
              function: Variable {
               identifier: "elem",
               position: (667, 56),
              },
              arguments: [
               Variable {
                identifier: "x",
                position: (667, 61),
               },
               Variable {
                identifier: "a",
                position: (667, 63),
               },
              ],
             },
             position: (667, 53),
            },
            Variable {
             identifier: "b",
             position: (667, 66),
            },
           ],
          },
          position: (667, 46),
         },
        ],
        position: (667, 43),
       },
       position: (667, 26),
      },
      position: (667, 23),
     },
    ),
   ],
   recursive: true,
   position: (9, 1),
  },
  position: (4, 1),
 },
 position: (3, 1),
}