Member predicate Modifiable::hasModifier

Holds if this declaration has name as a modifier.

predicate hasModifier(string name)