DataFlowSanitizer: correctly combine labels in the case where they are equal.