Add support for saving variables ranges
… and used the saved information in the model checking
(from redmine: issue id 1047, created on 2012-11-28, closed on 2013-01-15)
- Relations:
- child #1067 (closed)
- child #1068 (closed)
- child #1069 (closed)
- child #816 (closed)
- child #1143 (closed)
- child #1144 (closed)
- child #1145 (closed)
- child #1159 (closed)
- child #1160 (closed)