Predicate readerType

predicate readerType(RefType t)