Predicate Type::erasedHaveIntersection

Holds if there is a common (reflexive, transitive) subtype of the erased types t1 and t2.

predicate erasedHaveIntersection(RefType t1, RefType t2)