Debug support for arbitrary state-machines