pub type SSAFunction<Arch> = Function<Arch, Finalized, SSA>;