Added a wider context sensitive devirtualization: if _this pointer is stricter subset than the base class and there is no subclass implementation of that type, it is safe to devirtualize the method.