* graph_code/graph_code.mli: nodeinfo_opt
* h_program-lang/errors_code.ml: more