let load_ya_file f  =
  try
    let c = open_in f in
    let (automata,auto_vars,auto_funs) = Yalexer.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
    | Yalexer.Error (loc,msg) ->
        Aorai_option.abort
          "File %S, line %d, characters %d-%d:@\nError: %s"
          (fst loc).Lexing.pos_fname (fst loc).Lexing.pos_lnum
          ((fst loc).Lexing.pos_cnum - (fst loc).Lexing.pos_bol)
          ((snd loc).Lexing.pos_cnum - (fst loc).Lexing.pos_bol)
          msg