[BUG] 未签名条件分析构造了负的未签名系数

问题描述 在区块读/写区域分析中，一个有效的 `uint32` 零比较失败，出现了 "cannot make uint from negative value -1" 错误。 **用户程序中没有负常量。** 这个负值是由约束求解器引入的。将输入 dtype 更改为 `int32` 就成功了； `uint64` 也失败了。