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