valueFlowAfterCondition: wrong analysis for floats