Predicate Cached::commonSubType
Holds if GVNs t1 and t2 may have a common sub type. Neither t1 nor
t2 are allowed to be type parameters.
Import path
import semmle.code.csharp.dataflow.internal.DataFlowPrivatepredicate commonSubType(RelevantGvnType t1, RelevantGvnType t2)