This Worklist Item is a Conversion Type Limitation
Modelify's conversion does not yet support declarations between the switch statement and the first case label in C source code.
The declarations can be moved prior to the switch statement, taking care to note that initializations of such declarations were idempotent.
For further support, contact EnSoft Support at support@ensoftcorp.com