Member predicate Class::Class::hasVirtualBaseClass

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

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