let initFile f =
  file:=f ;
  Data_for_ltl.setCData ();
  (* Adding C variables into our hashtable *)
  Globals.Vars.iter (fun vi _ -> set_varinfo vi.vname vi
                    (*   ;
                       Format.printf" -> global variables added into hashtable: '%s' \n" vi.vname*)

                    )