fact: Variables (n : nat) (f : recalg n) (g : recalg (S (S n))) (Hf : ra_compiler_stm f) (Hg : ra_compiler_stm g).
imports: List Arith Lia Undecidability.Shared.Libs.DLW(utils finite pos vec subcode sss) Undecidability.MinskyMachines(env mme_defs mme_utils) Undecidability.MuRec.Util(recalg)