fact: Definition mma_mult_cst := DECₐ src (3+i) :: JUMPₐ (5+k+i) src ++ INCSₐ dst k ++ JUMPₐ i src.
imports: List Arith Lia Undecidability.Shared.Libs.DLW(utils list_bool gcd pos vec subcode sss) Undecidability.MinskyMachines.MMA(mma_defs)