Member predicate Dereference::isFirstMaybeNull

Holds if this expression dereferences SSA definition def, which may be null, and this expression can be reached from def without passing through another such dereference.