* lang_c/analyze/datalog_c.ml: generate facts_of_def! first version