* lang_c/analyze/datalog_c.ml: progress, call it from graph_code_c, add hooks there