This is one possible solution to implement wrap-arounds for integers in unsigned `icmp` operations. For example,

store i32 -1, i32* %A_addr %0 = load i32, i32* %A_addr %1 = icmp ult i32 %0, 0

`%1` should hold false, because under the assumption of unsigned integers, `-1` should wrap around to `2^32-1`. However, previously. it was assumed that the MSB (Most Significant Bit - aka the Sign bit) was never set for integers in unsigned operations.

This patch modifies the `buildConditionSets` function in `ScopInfo.cpp` to give better information about the integers in these unsigned comparisons.