Predicate functionDereferences
Holds if the body of a function f is likely to dereference its ith
parameter unconditionally. This analysis does not account for reassignment.
Import path
import cpppredicate functionDereferences(Function f, int i)