devirtualize: to change a virtual/polymorphic/indirect function call into a static function call due to some guarantee that the change is corre
