* lang_c/analyze/datalog_c.ml: estet
* lang_c/analyze/graph_code_c.ml: in_return hook for datalog