Member predicate UserType::UserType::hasSpecifier

predicate hasSpecifier(string s)