optimizing: Fix undefined behavior in graph checker

Checking a variable being null after dereference is undefed behavior
and the null check is often optimized out.

Change-Id: I4d80510af6d49def1f9f7bd82c25eb366169babb