(Program
  (Module
    (Identifier))
  (Function
    (Empty)
    (Identifier)
    (
      (Assignment
        (Identifier)
        (Composite
        { (Identifier)
        ->(Identifier) }
          (
            (KeyValue
              (Identifier)
              (TextElement))
            (KeyValue
              (Identifier)
              (TextElement)))))
      (Assignment
        (Identifier)
        (Composite
          (Constructor
            (Empty)
            (Annotation
              (Annotation
                ([])
                (Identifier))
            { (Identifier)
            ->(Identifier) }))
          (
            (KeyValue
            { (Identifier)
            ->(Identifier) }
            { (Integer)
            ->(Integer) }))))
      (Assignment
        (Identifier)
        (Error)))))