Predicate hasSubtypeStar

Import path

import java
predicate hasSubtypeStar(RefType t, RefType sub)