value flow: replacing executionpath checking of null pointers