+ let complex = 100 in
+ let no_bound_vars = 10 in
+ let vars = Array.to_list
+ (Array.init no_bound_vars (fun x -> "x" ^ string_of_int x)) in
+
+ let file = Filename.temp_file ~temp_dir:"./problems/" "simple.constants.auto." "" in
+ let oc = open_out file in
+ print_endline ("\n\n---- <TESTS> " ^ file) ;