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