Fixed state_machine definition due to recent changes in yohang/finite