* graph_code/graph_code_checker.ml: dead proto