add question mark symbol to unreachable state