let debug_ltl_expressions () = Aorai_option.feedback " Known ltl expressions: \n"; Hashtbl.iter (fun key (_,str,_) -> Aorai_option.feedback " Var tmp : %s ~~~> exp : %s\n" key str ) !ltl_exps