upgraded AST creator
added support for additional types in JSON for co-simulation + test
Add "*.log.*" files to the ignore set
Merge branch 'development' of https://github.com/symphonytool/symphony into acf
New changes in the model checker visitor.