Fixes devirtualization optimization