tuning null -> ... analysis

Handling NPE in null -> ... analysis. If at a given branch NPE is detected (via direct dereferencing), then the result of this branch is NPE.