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

        p if {
        	data.ex.loopback with input as true
        	data.ex.loopback = false with input as false
        }
      - |
        package ex

        loopback := __local0__ if {
        	true
        	__local0__ = input
        }
    data: {}
    want_result:
      - x: true
