Redundant data in NuSMV File - Remove Statevariable
The _current_state variable in the statemachines transformation to NuSMV is redundant as the current state can be deduced from the transition to take. As this increases the memory footprint of a NuSMV Module it may prove harmful to performance.
(from redmine: issue id 2715, created on 2016-10-13, closed on 2016-11-07)