Normalization of xi seems to be incorrect

[fizruk]

Example:

normalizer dataize --recursive --rules ~/git/objectionary/normalizer/eo-phi-normalizer/test/eo/phi/rules/yegor.yaml --dependency-file bool.phi --dependency-file bytes.phi bool-tests.phi

Output:

{ ⟦ org ↦ ⟦ eolang ↦ ⟦ true-as-bool ↦ ξ.as-bytes.as-bool, λ ⤍ Package ⟧, λ ⤍ Package ⟧, λ ⤍ Package ⟧ }

Expected:

{ ⟦ org ↦ ⟦ eolang ↦ ⟦ true-as-bool ↦ ⟦ Δ ⤍ 01- ⟧, λ ⤍ Package ⟧, λ ⤍ Package ⟧, λ ⤍ Package ⟧ }

Files used

cat bool.phi

{
  ⟦
    org ↦ ⟦
      eolang ↦ ⟦
        bool ↦ ⟦
          as-bytes ↦ ∅,
          φ ↦ ξ.as-bytes
        ⟧,
        λ ⤍ Package
      ⟧,
      λ ⤍ Package
    ⟧
  ⟧
}

cat bytes.phi

{
  ⟦
    org ↦ ⟦
      eolang ↦ ⟦
        bytes ↦ ⟦
          Δ ⤍ ∅,
          as-bool ↦ ⟦
            φ ↦ ξ.ρ.eq(
              α0 ↦ Φ.org.eolang.bytes(
                Δ ⤍ 01-
              )
            )
          ⟧
        ⟧,
        λ ⤍ Package
      ⟧,
      λ ⤍ Package
    ⟧
  ⟧
}

cat bool-tests.phi

{
  ⟦
    org ↦ ⟦
      eolang ↦ ⟦
        true-as-bool ↦ ⟦
          φ ↦ Φ.org.eolang.bool(
            as-bytes ↦ Φ.org.eolang.bytes(
              Δ ⤍ 01-
            )
          ).as-bool
        ⟧,
        λ ⤍ Package
      ⟧,
      λ ⤍ Package
    ⟧,
    λ ⤍ Package
  ⟧
}