Integer constants in MSCfeasability
If a integer variable is used in a MSC message, in the corresponding NuSMV translation, this is tranlsalted into a 0sd10 value, while the corresponding port has a 0sd12 type. This leads NuSMV to fail.
(from redmine: issue id 1237, created on 2013-01-29, closed on 2013-02-18)