[Analysis] Bounds are not taken into account when model checking
TODO find a good example here
(from redmine: issue id 2542, created on 2016-03-30, closed on 2016-08-01)
TODO find a good example here
(from redmine: issue id 2542, created on 2016-03-30, closed on 2016-08-01)