pub type LiftedFunction<Arch> = Function<Arch, Finalized, NonSSA<LiftedNonSSA>>;
struct LiftedFunction<Arch> { /* private fields */ }