* mini/test_mini.ml: skeleton for -dataflow_minic