Member predicate Specifier::Specifier::hasName

Holds if the name of this specifier is name.

predicate hasName(string name)