rewriting doesn't stop when using --chain, but works without it

[yegor256]

Try this:

$ cat bar.phi
{⟦ m ↦ ⟦ x ↦ ⟦ t ↦ ∅ ⟧ (t ↦ ξ.k), k ↦ ⟦ λ ⤍ Fn ⟧ ⟧.x.t.p ⟧}
$ eo-phi-normalizer rewrite -s bar.phi
{
  ⟦
    m ↦ ⟦
      t ↦ ∅
    ⟧
    (
      t ↦ ⟦
        x ↦ ⟦
          t ↦ ⟦
            x ↦ ⟦
              t ↦ ⟦
                x ↦ ⟦
                  t ↦ ⟦
                    x ↦ ⟦
                      t ↦ ⟦
                        x ↦ ⟦
                          t ↦ ⟦
                            x ↦ ⟦
                              t ↦ ∅
                            ⟧
                            (
                              t ↦ ξ.k
                            ),
                            k ↦ ⟦
                              λ ⤍ Fn
                            ⟧
                          ⟧
                          .k
                        ⟧
(), k ↦ ⟦
                          λ ⤍ Fn
                        ⟧
                      ⟧
                      .k
                    ⟧,
                    k ↦ ⟦
                      λ ⤍ Fn
                    ⟧
                  ⟧
                  .k
                ⟧,
                k ↦ ⟦
                  λ ⤍ Fn
                ⟧
              ⟧
              .k
            ⟧,
            k ↦ ⟦
              λ ⤍ Fn
            ⟧
          ⟧
          .k
        ⟧,
        k ↦ ⟦
          λ ⤍ Fn
        ⟧
      ⟧
      .k
    )
    (
      ρ ↦ ⟦
        x ↦ ⟦
          t ↦ ∅
        ⟧
        (
          t ↦ ξ.k
        ),
        k ↦ ⟦
          λ ⤍ Fn
        ⟧
      ⟧
    )
    .t.p
  ⟧
}

However, if you run this:

$ eo-phi-normalizer rewrite --chain --tex bar.phi

It won't stop :(

[yegor256]

@deemp please, check

[deemp]

@fizruk, please check