Predicate Nullness::alwaysNullDeref

A dereference of a variable that is always null.

predicate alwaysNullDeref(SsaSourceVariable v, VarAccess va)