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_aorai.setAutomata automata auto_vars auto_funs;
with Not_found ->
Aorai_option.fatal "Problem with file : %s\n" f