Member predicate Member::Method::isVirtual

Holds if this method is neither private nor static, and hence uses dynamic dispatch.

predicate isVirtual()