value flow: starting to refactor CheckNullPointer::nullPointerDeRefThenCheck