let print_model m = 
   print_string "[\n";
   let rec printer m =
      match m with 
         (a,assig) :: rest ->
               print_string "    ";
               print_string a;
               print_string "=";
               print_bool assig;
               print_string "\n";
               printer rest
         |  [] -> ()
   in
   printer m;
   print_endline "]"