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