* h_program-lang/graph_code_analysis.ml: add profiling information