Predicate CloseReader::safeReaderType

predicate safeReaderType(RefType t)