Test for lazy value info's ability to prove the absense of NULLs in pointers.