Predicate CloseReader::readerType

predicate readerType(RefType t)