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)