Correcting big for travel function which didn't return false when current state is in accepting list but the transition is false