ValueFlow: better analysis in valueFlowAfterCondition of 'if|while ( %var% )' etc