IsNull and NullRef

This case checks for inconsistent assumptions about NULL.

Semantic matches

Results for the case of a NULL test preceding a dereference

Results for the case of a NULL test following a dereference