文法上の誤りはなくても、ずっと同じステップだけを実行しているように見える場合があります。これはシミュレーションやデバッグ時のワークベンチの画面更新が遅いためです。
たとえば、複数のステップを通過して成立するようなループのあるプログラムを記述すると、問題のトランジション以外のトランジション条件が常にTRUEの場合、

 ステップ N を実行している時間=1秒 ≫ 他のステップを実行している時間

となってしまうため、デバッガーでは他のステップがアクティブの時の表示の機会がほとんどありません。そのため、画面表示に反映されず、他のステップが実行されていないようにみえる場合があります。