Member predicate ClassDerivation :: hasSpecifier
Holds if the derivation has specifier s
.
predicate
hasSpecifier
(
string
s
)