* tests/mini/: dataflow_c works on all mini examples!
* lang_c/analyze/datalog_c.ml: started hooks for defs