Fixed previous commit
More output when transforming
More work on PROMELA transformation
Merge branch 'master' of https://github.com/tklab-tud/uscxml