NullValueAnalysis: Improve accuracy of GetVariableStateBefore/AfterStatement.
Reduce number of unnecessary node visits.