let load_promela_file_withexps f =
try
let c = open_in f in
let automata = Promelalexer_withexps.parse c in
close_in c;
Data_for_aorai.setAutomata automata;
with
| Not_found -> Aorai_option.abort "Unknown Promela file %s" f
| Promelalexer_withexps.Error(loc,msg) -> syntax_error loc msg