suggest to supply lower-bound for constant_too_large_2147483647 to Simplify (#2095) · Issues · pub / frama-c