In case of forbidden transition, recover

Make sure the current status is returned in case of forbidden state
transition: allows the machine to still halt if it needs to.