Member predicate CallContextSpecificCall :: matchesCall
Holds if this call context may be call
.
predicate
matchesCall
(
DataFlowCall
call
)