fact: Definition mma_div2_branch := DECₐ x (3+i) :: JUMPₐ j0 x ++ DECₐ x (6+i) :: JUMPₐ j1 x ++ INCₐ q :: JUMPₐ i x.
imports: List Arith Lia Undecidability.Shared.Libs.DLW(utils list_bool pos vec subcode sss) Undecidability.MinskyMachines.MMA(mma_defs mma_utils)