(Promela) Bugfixes, significant speedup of analysis.
(TTA) Fix ISE project.
(TTA) Use code compressor to reduce memory requirements.
(Frontend) Fix a NPE in TypeValidator
Merge branch 'master' into dal_backend