Predicate dereferencedByOperation
Holds if evaluation of op dereferences e.
This includes the set of operations identified via directDereferencedByOperation, as well
as calls to function that are known to dereference an argument.
Import path
import cpppredicate dereferencedByOperation(Expr op, Expr e)