The function is intended to maintain uniqueness of two sets -- Found
and Data. Now, we can reach the for loop shown in the patch only when
Found.empty(). This means that we never execute the body of the for
loop.
The patch fixes the problem by replacing Found with Data.