Plenty of smaller bug-fixes for uscxml-transform and PROMELA datamodel