(Xronos) Slightly faster generation with BlockCombine activated, easier
to debug the code too. Adding a simple analysis for showing the sharing
of state variables between the actions.