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