DataFlowSanitizer: correctly combine labels in the case where they are equal.
[dfsan] Integration test for the equal-labels case