Implement a simple state machine with transitions and guards.