fact: Variables (Σ : list eill_cmd) (Γ : list eill_vars) (u : nat).
imports: List Permutation Arith Undecidability.Shared.Libs.DLW(utils pos vec) Undecidability.ILL(ILL EILL ill) Undecidability.ILL(CLL ill_cll schellinx)