Error at /Users/wong.justin/Documents/eudoxus/final_result_baselines/ft-one_shot_no_COT_ucl_code/bk-ex2_17.ucl, line 12: Multiple updates to identifier(s): state.
        if (state == green) { state' = red; }
        ^
Parsing failed. 1 errors found.
