let load_promela_file_withexps f  =
  try
    let c = open_in f in
    let (automata,auto_vars,auto_funs) = Promelalexer_withexps.parse c  in
    close_in c;
    Data_for_ltl.setAutomata automata auto_vars auto_funs;
  with Not_found ->
        Ltl_to_acsl_option.fatal "Problem with file : %s\n" f