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

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