* graph_code/graph_code_checker.ml: