(Program
  (Module
    (Identifier))
  (Function
    (Empty)
    (Identifier)
    ([])
    (
      (If
        (
          (Call
          { (Identifier)
          ->(Identifier) }
            ([])
            (Empty)))
        (Call
          (Identifier)
          ([])
          (Empty))
        (Empty))
      (If
        (
          (Assignment
          { (Identifier)
          ->(Identifier) }
            (Call
              (Identifier)
              ([])
              (Empty)))
          (Identifier))
        (Call
          (Identifier)
          ([])
          (Empty))
        (Empty))
      (If
        (
          (Call
          { (Identifier)
          ->(Identifier) }
            ([])
            (Empty)))
        (Call
          (Identifier)
          ([])
          (Empty))
        (Call
          (Identifier)
          ([])
          (Empty)))
      (If
        (
          (Assignment
            (Identifier)
          { (Integer)
          ->(Integer) })
          (LessThan
            (Identifier)
            (Integer)))
        (Call
        { (Identifier)
        ->(Identifier) }
          ([])
          (Empty))
      {-(Context
        {-(Comment)-}
          (If
            (
              (LessThan
                (Identifier)
              { (Integer)
              ->(Integer) }))
            (Call
            { (Identifier)
            ->(Identifier) }
              ([])
              (Empty))
          { (Call
            {-(Identifier)-}
            {-([])-}
            {-(Empty)-})
          ->(Context
            {+(Comment)+}
            {+(If
              {+(
                {+(Call
                  {+(Identifier)+}
                  {+([])+}
                  {+(Empty)+})+})+}
              {+(Call
                {+(Identifier)+}
                {+([])+}
                {+(Empty)+})+}
              {+(Empty)+})+}) }))-}))))