* lang_c/analyze/datalog_c.ml: comments
* h_program-lang/datalog_code.dtl: comments