Updates on Blech (dlu)

Some more steps in the optimization now work
Activities visualized in SCCharts are now flattened/inlined, not overloaded by unnecessary hierarchy
- often activities are just a couple of lines or states
- It is not always useful to flatten hierarchy - game example
- This is configurable
Labels can now be put onto states
Overall goal is to show the stateful nature
- labels are passed along until a state is reached
Maybe regions want to get labels too?
- probably another lable keyword would be needed to remove possible problems with other labels
- labels are "gathered" and merged until the next stateful statement ist reached
States resulting from awaits should maybe be labeled and other not
Cobegin with a weak abort that identifies abortion condition is an often used pattern
- Maybe this pattern should preserve some structure and create a complex state

2021-02-19 KMeeting (lgr)