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*)
)