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