* lang_c/analyze/datalog_c.ml: generating longer format, file#func
* h_program-lang/datalog_code.ml: simplify
* lang_c/analyze/datalog_c.ml: long_format bugfix, use graph
for actually get the file where the global name is defined