Overflow not detected

[amanusk]

I was expecting the tool to detect the overflow in this example. Should it? Or is it more complicated?

https://github.com/amanusk/unimpaired-cairo/blob/8819ef032decef5bc3532d9a804259974e728091/src/overflow/overflow.cairo#L32