[Analysis] error while running nusmv when an enum (not previously referred) is used for an output port
After the new transformation output ports are modelled as DEFINE in nusmv. This problem occurs when an output port is of type enum which is not used by any input port or data state variable. In this case nusmv is not able to recognise it as an enum value.
DEFINES do not have types in nusmv, they are just aliases for expressions.
(from redmine: issue id 2812, created on 2017-01-31, closed on 2017-01-31)