In the documentation about the Stimuli manager view
https://download.eclipse.org/gemoc/docs/nightly/userguide-mw-execute-animate-debug-models.html#mw-executing-concurrent-model-stimuli-manager-view-section
it is indicated that the logical step view is updated when events are forced (force to tick or force not to tick)
This feature is currently broken
ex: with the TFSM example:

in the stimuli manager, the event MSE_pingerTime_2_ticks is forced to not tick but it still appears in the logical steps view