whoopsie. if we have a nont-integral bound 4.5<=x<=4.5 and x is a Z variable, we can't perform constant folding. it actually means the program is infeasible.