[Code Review] Cross-cut feature: new transformation to NuSMV
review of the new transformation mechanism
(from redmine: issue id 2756, created on 2016-11-28, closed on 2018-09-17)
review of the new transformation mechanism
(from redmine: issue id 2756, created on 2016-11-28, closed on 2018-09-17)