Predicate callDereferences
Holds if the call fc will dereference argument i.
Import path
import cpp
predicate
callDereferences
(
FunctionCall
fc
,
int
i
)