* lang_c/analyze/datalog_c.ml: pr2_once
* lang_c/analyze/datalog_c.ml: english