Error at /Users/wong.justin/Documents/eudoxus/final_result_baselines/ft-one_shot_no_COT_ucl_code/bk_ex2_29.ucl, line 15: Sequential assignment not allowed outside procedures.
      (pc == S0) && scan : { pc = S1; }
                             ^
Error at /Users/wong.justin/Documents/eudoxus/final_result_baselines/ft-one_shot_no_COT_ucl_code/bk_ex2_29.ucl, line 16: Sequential assignment not allowed outside procedures.
      (pc == S1) : { pc = S0; data = true; }
                     ^
Error at /Users/wong.justin/Documents/eudoxus/final_result_baselines/ft-one_shot_no_COT_ucl_code/bk_ex2_29.ucl, line 16: Sequential assignment not allowed outside procedures.
      (pc == S1) : { pc = S0; data = true; }
                              ^
Parsing failed. 3 errors found.
