[PATCH 1/3] Don't jump to compute_result state from check_result state