Unable to model-check with NuSMV when one uses assignment of arrays
e.g. OutputPortWithArrayType = InputPortWithArrayType
It is unclear also how the NuSMV works - a question was posted on the NuSMV users list
https://list.fbk.eu/sympa/arc/nusmv-users/2013-07/msg00010.html
(from redmine: issue id 1528, created on 2013-07-26, closed on 2013-07-29)