let ltl_to_ltlLight f_ltl f_out =
  try
    let c = open_in f_ltl in
    let (ltl_form,exprs) = Ltllexer.parse c in
    close_in c;
    Ltl_output.output ltl_form f_out;
    set_ltl_correspondance exprs
  with 
    | Not_found -> Aorai_option.abort "Unknown LTL file %s" f_ltl
    | Ltllexer.Error (loc,msg) -> syntax_error loc msg