group polytope import statement with other global non-library packages
pep 328
do not use OrderedDict for machine inputs

order is a dot formatting concern, it has no semantic content and thus should not complicate things
hide transys.export.format_label
mealy2promela not yet implemented