// | Expression | ConstantRange | KnownBits |
// |---------------|------------------------|-----------------------|
// | i8 4 * X | [L: 0, U: 253) | XXXX XX00 |
// | | => Min: 0, Max: 252 | => Min: 0, Max: 252 |
// | | | |
// | i8 4 * X + 5 | [L: 5, U: 2) (wrapped) | YYYY YY01 |
// | (101) | => Min: 0, Max: 255 | => Min: 1, Max: 253 |