fact: Hypothesis (Hsd : src <> dst) (Hst : src <> tmp) (Hsz : src <> zero) (Hdt : dst <> tmp) (Hdz : dst <> zero) (Htz : tmp <> zero).
imports: List Arith Lia Undecidability.Shared.Libs.DLW(utils pos vec subcode sss) Undecidability.MinskyMachines.MMenv(env mme_defs)