Improve the efficiency of NuSMV code
- replace wrapping of constants with swConst by directly using signed word constants
- use the commands sequence from Marco
(from redmine: issue id 773, created on 2012-04-22, closed on 2012-05-03)
- Relations:
- parent #849 (closed)