pub type RegularFunction<Arch> = Function<Arch, Finalized, NonSSA<RegularNonSSA>>;