phino-0.0.152: test-resources/rewriter-packs/custom/nested-part-of.yaml

# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com
# SPDX-License-Identifier: MIT
---
repeat: 10
input: '[[ x -> Q.y ]]'
output: |-
  ⟦
    x ↦ Φ.y,
    z -> [[ w -> [[ q -> "foo" ]] ]]
  ⟧
rules:
  custom:
    - name: nested part of
      pattern: '[[ x -> Q.y, !B1 ]]'
      result: '[[ x -> Q.y, z -> [[ w -> [[ q -> "foo" ]] ]], !B1]]'
      when:
        not:
          part-of: ['"foo"', '!B1']