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