Redirecting to Extended finite state machine