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_ltl.setAutomata automata auto_vars auto_funs;
with Not_found ->
Ltl_to_acsl_option.fatal "Problem with file : %s\n" f