Adding debug markers for SimpleFSM mutex
Mutex Bugfix