From d132478a1a1f965259cc9a4212bcc10672336aca Mon Sep 17 00:00:00 2001
From: Yegor Bugayenko <yegor256@gmail.com>
Date: Fri, 6 Dec 2024 08:36:54 +0300
Subject: [PATCH] e12 back

---
 src/test/normalizer-tests/_e-12.phi | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 src/test/normalizer-tests/_e-12.phi

diff --git a/src/test/normalizer-tests/_e-12.phi b/src/test/normalizer-tests/_e-12.phi
new file mode 100644
index 0000000..112887f
--- /dev/null
+++ b/src/test/normalizer-tests/_e-12.phi
@@ -0,0 +1,3 @@
+{⟦ m ↦ ⟦ x ↦ ⟦ t ↦ ∅ ⟧ (t ↦ ξ.k), k ↦ ⟦ λ ⤍ Fn ⟧ ⟧.x.t.p ⟧}
+
+{⟦ m ↦ ⟦ λ ⤍ Fn, ρ ↦ ⟦ x ↦ ⟦ t ↦ ∅ ⟧ (t ↦ ξ.k), k ↦ ⟦ λ ⤍ Fn ⟧ ⟧ ⟧.p ⟧}