Holds if this function is virtual.
Unlike isDeclaredVirtual(), isVirtual() holds even if the function
is not explicitly declared with the virtual specifier.
predicate
isVirtual
(
)