Keep optimizing JITAware, checking polymorphism returned by constructor separately, using new hybrid criterion to rank warnings