Predicate Type::allSpecifiers

predicate allSpecifiers(int i, string s)