* changes.txt:
* mini/ast_miniml.ml: misc
* lang_c/analyze/datalog_c.ml: mostly copy paste of datalog_minic