CheckNullPointer: improved function call checking when new value flow analysis is used