* main_scheck.ml: -with_graph_code