Predicate parameterUsePair
Holds if va is a use of the parameter p that could
observe the passed-in value.
Import path
import cpp
predicate
parameterUsePair
(
Parameter
p
,
VariableAccess
va
)