Holds if this call is virtual and could go to an overriding method.
predicate
isVirtual
(
)