Predicate DeadRefTypes::dead

A class or interface that is not used anywhere.

predicate dead(RefType dead)