Member predicate Class::Class::hasPublicBaseClass

Holds if this class/struct has a public class derivation, for example the public B in the following code:

class D : public B {
  ...
};
predicate hasPublicBaseClass(Class base)