fact: Variable (k : nat) (gc : godel_coding k) (n : nat).
imports: List Arith Lia Undecidability.Shared.Libs.DLW(utils godel_coding pos vec subcode sss compiler_correction) Undecidability.MinskyMachines.MMA(mma_defs mma_utils)