pub fn linearize<B: BV>( instrs: Vec<Instr<Name, B>>, ret_ty: &Ty<Name>, symtab: &mut Symtab<'_>, ) -> Vec<Instr<Name, B>>