[Analyses] Tables translation to NuSMV is buggy
To reproduce:
- open SimpleTrafficLight*TabularSpecification*Example
- try to check the first specification atom
Outcome:
- “NuSMV returned –255” or similar
Expected:
- no error
(from redmine: issue id 2113, created on 2014-08-27, closed on 2014-08-28)