./test/test_case/functional/05_arr_defn4.sy
./test/test_case/functional/15_graph_coloring.sy
./test/test_case/functional/22_matrix_multiply.sy