Holds if the return type of m is an instantiated type parameter from m.
m
predicate methodHasGenericReturnType(ConstructedMethod cm)