value flow: use checknullpointer checking based on new value flow analysis in the TestNullPointer