Member predicate Class::isPolymorphic

Holds if this class/struct is polymorphic (has a virtual function, or inherits one).

predicate isPolymorphic()