---
cases:
  - note: arithmetic/arity 2 ref dest (2)
    query: data.generated.p = x
    modules:
      - |
        package generated

        p if {
        	__local0__ = 2 + 3
        	not data.a[2] = __local0__
        }
    data:
      a:
        - 1
        - 2
        - 3
        - 4
    want_result:
      - x: true
