How to solve the problem:
To be able to solve the problem, you need to understand the search for stability option of a SFC and the meaning of action notifiers. When 'search for stability' is enabled, the SFC fires transitions until a stable marking is reached. Actions are only executed in a stable marking. Therefore, if the 'Go on3'-Transition is true, the actions of the preceeding step are not executed.