This procedure activates a single execution cycle (step), once being called by
lo_main
in the main module. It activates theschedule_timeouts
procedure to schedule potential timeouts, and most importantly, is activating the hierarchical traversal of the state EXEC procedures by activating the EXEC procedure of the top-level Statechart.