---
cases:
  - data: {}
    modules:
      - |
        package generated

        p[__local0__] {
          bits.and(7, 9, __local1__)
          __local0__ = __local1__
        }
    note: bitsand/basic bitwise-and
    query: data.generated.p = x
    sort_bindings: true
    want_result:
      - x:
          - 1
