Translate CHESS model as executable c code

The input of the process could be:

• the entire model
• the single state machine