phino-0.0.152: test-resources/rewriter-packs/custom/with-simple-condition.yaml

# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com
# SPDX-License-Identifier: MIT
---
input: '[[x -> $.q, y -> Q.a]].x'
output: |-
  ⟦
    x ↦ ξ.q,
    y ↦ Φ.a
  ⟧.φ.x
rules:
  custom:
    - name: with-simple-condition
      pattern: '[[!B1]].!t1'
      result: '[[!B1]].@.!t1'
      when:
        and:
          - in:
              - '!t1'
              - '!B1'
          - in:
              - 'y'
              - '!B1'