fact: Definition mma_pop := TRANSFERTₐ src zero i ++ DIV2ₐ zero src (3+i) j0 (12+i) ++ DECₐ src (16+i) :: INCₐ src :: JUMPₐ je src ++ INCₐ src' :: JUMPₐ j1 src.
imports: List Arith Lia Undecidability.Shared.Libs.DLW(utils list_bool pos vec subcode sss) Undecidability.MinskyMachines.MMA(mma_defs mma_utils)