Member predicate UserType::hasSpecifier

predicate hasSpecifier(string s)