MSC Feasibility Check doesn't work with Operator Panels
When specifying an MSC with an MSC Entity that is linked to a component
that has an operator panel, the MSC Feasibility fails with error
“component behavior is not specified”.
This should be changed in a way that NuSMV handles an operator panel as
a component with arbitrary (random) output.
(from redmine: issue id 1016, created on 2012-11-05, closed on 2013-01-14)