Member predicate Dereference::isFirstAlwaysNull

Holds if this expression dereferences SSA source variable v, which is always null, and this expression can be reached from an SSA definition for v without passing through another such dereference.