Prism: Regex optimization. Thanks to http://www.rexegg.com/regex-explosive-quantifiers.html
Prism: Improved parsing
Prism: Added comments
Moved Modelchecking Tests into own project to omit dependencies to Binaries of Modelcheckers