pub fn optimize_program<'a>( program: &'a mut Program, memory_ssa: &'a mut MemorySSA<'a>, ) -> Result<bool>