Predicate Nullness::dereference

An expression that is being dereferenced. These are the points where NullPointerExceptions can occur.

predicate dereference(Expr e)