Predicate safeReaderType

predicate safeReaderType(RefType t)