* h_program-lang/graph_code_analysis.ml: start