* h_program-lang/graph_code.ml: more profiling information