SCXML -> Promela skips intermediate explicit flat SCXML for ridiculous better memory footprint