* lang_c/analyze/datalog_c.ml: more cases
* lang_c/analyze/datalog_c.ml: more debug info