Member predicate NewInstance::getInferredConstructedType

Gets an inferred type for the constructed class.

To infer the constructed type we infer a type T for Class<T> or Constructor<T>, by inspecting points to results.