Try to fix `check_state_result`