fact: Variables (m : nat).
imports: List Arith Lia Undecidability.Shared.Libs.DLW(utils list_bool pos vec sss compiler_correction) Undecidability.StackMachines.BSM(bsm_defs) Undecidability.MinskyMachines.MMA(mma_defs mma_utils_bsm)