(Program
  (Module
    (Identifier))
  (Function
    (Empty)
    (Identifier)
    ([])
    (Match
      ([])
      (
        (Pattern
          (LessThan
          { (Identifier)
          ->(Identifier) }
          { (Identifier)
          ->(Identifier) })
          (Call
            (Identifier)
            (Empty)))
        (Pattern
          (LessThan
          { (Identifier)
          ->(Identifier) }
          { (Identifier)
          ->(Identifier) })
        {+(Context
          {+(Comment)+}
            (Call
              (Identifier)
              (Empty)))+})
      {+(Context
        {+(Comment)+}
          (Pattern
            (Equal
            { (Identifier)
            ->(Identifier) }
              (Integer))
            (Call
            { (Identifier)
            ->(Identifier) }
              (Empty))))+}))))