Predicate deref

Holds if evaluation of op dereferences v.

Import path

import cpp
predicate deref(Variable v, Expr op)