Member predicate FunctionCall :: isVirtual
Holds if this is a call to a virtual function.
Note that this holds even in cases where a sufficiently clever compiler could perform static dispatch.
predicate
isVirtual
(
)