added the possibility to inhibit counterexamples projection
wiring the components dynamically - now the code generates successfully
improving the counterexamples lifting of statemachines
small fixes
small fix
small fix of the textgen by making new-lines explicit
fixing the build
small fix
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core

Conflicts:
	code/applications/tutorial/solutions/mbeddr.tutorial.main/models/mbeddr/tutorial/main/analyses.mps
	code/languages/com.mbeddr.analyses/tests/test.analyses.cbmc.testcode/models/ppc.mps