let ltl_exps = ref (Hashtbl.create 1)