let ltl_expressions_iter func =
  Hashtbl.iter  func !ltl_exps