Member predicate Call::isVirtual

Holds if this call is virtual and could go to an overriding method.

predicate isVirtual()