---
namespace: ParseExpression
expectation: Pass
outputs:
  - Binary:
      left:
        Literal:
          Integer:
            - U8
            - "1"
            - span:
                lo: 0
                hi: 3
      right:
        Literal:
          Integer:
            - U8
            - "1"
            - span:
                lo: 7
                hi: 10
      op: Lte
      span:
        lo: 0
        hi: 10
  - Binary:
      left:
        Literal:
          Integer:
            - U8
            - "2"
            - span:
                lo: 0
                hi: 3
      right:
        Literal:
          Integer:
            - U8
            - "3"
            - span:
                lo: 7
                hi: 10
      op: Lte
      span:
        lo: 0
        hi: 10
  - Binary:
      left:
        Binary:
          left:
            Literal:
              Integer:
                - U8
                - "1"
                - span:
                    lo: 0
                    hi: 3
          right:
            Literal:
              Integer:
                - U8
                - "2"
                - span:
                    lo: 6
                    hi: 9
          op: Add
          span:
            lo: 0
            hi: 9
      right:
        Binary:
          left:
            Literal:
              Integer:
                - U8
                - "3"
                - span:
                    lo: 13
                    hi: 16
          right:
            Literal:
              Integer:
                - U8
                - "4"
                - span:
                    lo: 19
                    hi: 22
          op: Add
          span:
            lo: 13
            hi: 22
      op: Lte
      span:
        lo: 0
        hi: 22
  - Unary:
      receiver:
        Unary:
          receiver:
            Binary:
              left:
                Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":2,\\\"hi\\\":3}\"}"
              right:
                Identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":8,\\\"hi\\\":9}\"}"
              op: Lte
              span:
                lo: 2
                hi: 10
          op: Negate
          span:
            lo: 1
            hi: 10
      op: Not
      span:
        lo: 0
        hi: 10
  - Binary:
      left:
        Binary:
          left:
            Binary:
              left:
                Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":0,\\\"hi\\\":1}\"}"
              right:
                Identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":6,\\\"hi\\\":7}\"}"
              op: Lte
              span:
                lo: 0
                hi: 8
          right:
            Identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":13,\\\"hi\\\":14}\"}"
          op: Lte
          span:
            lo: 0
            hi: 15
      right:
        Identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":20,\\\"hi\\\":21}\"}"
      op: Lte
      span:
        lo: 0
        hi: 22
  - Unary:
      receiver:
        Binary:
          left:
            Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":1,\\\"hi\\\":2}\"}"
          right:
            Identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":7,\\\"hi\\\":8}\"}"
          op: Lte
          span:
            lo: 1
            hi: 9
      op: Negate
      span:
        lo: 0
        hi: 9
  - Binary:
      left:
        Unary:
          receiver:
            Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":2,\\\"hi\\\":3}\"}"
          op: Negate
          span:
            lo: 1
            hi: 3
      right:
        Identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":9,\\\"hi\\\":10}\"}"
      op: Lte
      span:
        lo: 1
        hi: 11
  - Unary:
      receiver:
        Binary:
          left:
            Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":2,\\\"hi\\\":3}\"}"
          right:
            Identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":8,\\\"hi\\\":9}\"}"
          op: Lte
          span:
            lo: 2
            hi: 10
      op: Negate
      span:
        lo: 0
        hi: 10
  - Binary:
      left:
        Unary:
          receiver:
            Binary:
              left:
                Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":2,\\\"hi\\\":3}\"}"
              right:
                Identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":8,\\\"hi\\\":9}\"}"
              op: Lte
              span:
                lo: 2
                hi: 10
          op: Negate
          span:
            lo: 1
            hi: 10
      right:
        Identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":16,\\\"hi\\\":17}\"}"
      op: Lte
      span:
        lo: 1
        hi: 18
  - Unary:
      receiver:
        Binary:
          left:
            Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":1,\\\"hi\\\":2}\"}"
          right:
            Identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":7,\\\"hi\\\":8}\"}"
          op: Lte
          span:
            lo: 1
            hi: 9
      op: Not
      span:
        lo: 0
        hi: 9
  - Binary:
      left:
        Unary:
          receiver:
            Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":2,\\\"hi\\\":3}\"}"
          op: Not
          span:
            lo: 1
            hi: 3
      right:
        Identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":9,\\\"hi\\\":10}\"}"
      op: Lte
      span:
        lo: 1
        hi: 11
  - Unary:
      receiver:
        Binary:
          left:
            Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":2,\\\"hi\\\":3}\"}"
          right:
            Identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":8,\\\"hi\\\":9}\"}"
          op: Lte
          span:
            lo: 2
            hi: 10
      op: Not
      span:
        lo: 0
        hi: 10
  - Binary:
      left:
        Unary:
          receiver:
            Binary:
              left:
                Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":2,\\\"hi\\\":3}\"}"
              right:
                Identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":8,\\\"hi\\\":9}\"}"
              op: Lte
              span:
                lo: 2
                hi: 10
          op: Not
          span:
            lo: 1
            hi: 10
      right:
        Identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":16,\\\"hi\\\":17}\"}"
      op: Lte
      span:
        lo: 1
        hi: 18
  - Binary:
      left:
        Binary:
          left:
            Binary:
              left:
                Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":1,\\\"hi\\\":2}\"}"
              right:
                Identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":7,\\\"hi\\\":8}\"}"
              op: Lte
              span:
                lo: 1
                hi: 9
          right:
            Binary:
              left:
                Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":13,\\\"hi\\\":14}\"}"
              right:
                Identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":19,\\\"hi\\\":20}\"}"
              op: Lte
              span:
                lo: 13
                hi: 21
          op: Lte
          span:
            lo: 1
            hi: 21
      right:
        Binary:
          left:
            Binary:
              left:
                Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":27,\\\"hi\\\":28}\"}"
              right:
                Identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":33,\\\"hi\\\":34}\"}"
              op: Lte
              span:
                lo: 27
                hi: 35
          right:
            Binary:
              left:
                Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":39,\\\"hi\\\":40}\"}"
              right:
                Identifier: "{\"name\":\"y\",\"span\":\"{\\\"lo\\\":45,\\\"hi\\\":46}\"}"
              op: Lte
              span:
                lo: 39
                hi: 47
          op: Lte
          span:
            lo: 27
            hi: 47
      op: Lte
      span:
        lo: 1
        hi: 48