Member predicate Declaration::hasGlobalOrStdOrBslName
Holds if this declaration has the given name in the global namespace,
the std namespace or the bsl namespace.
We treat std and bsl as the same in some of our models.
predicate hasGlobalOrStdOrBslName(string name)