---
cases:
  - note: withkeyword/with invalidate data stack
    query: data.generated.p = x
    modules:
      - |
        package generated

        q := "b"

        p := [x, y] if {
        	data.generated.q = x with data.generated.q as "a"
        	data.generated.q = y
        }
    data: {}
    want_result:
      - x:
          - a
          - b
