* mini/datalog_minic.ml: put Todos