the same order of putting transitions as in idea

(it affects tricky case with nesting of loops/exceptions - both variants seems to be sound, but may produce different results depending on the order of construction of graph of configurations)