CIF simulator print output order needs improving
The following improvements should be made:
- Currently, the simulator prints pre and post output after the new state reached by a transition. The pre output should be before it, and the post output after it. That way, it fits more intuitively with the 'extended trace' semantics that is documented in the CIF documentation.
- Currently, the simulator prints print output per target (stdout, stderr, files), rather than in the order the print declarations occur in the model. This makes it difficult for users to influence the order that things are printed. We should change it. Note that the CIF code generator already generates code where the order is as it should be.