let get_exp_from_tmpident var = try let (exp,_,_) = (Hashtbl.find !ltl_exps var) in exp with _ -> raise_error ("TMP Variable ("^var^") not declared in hashtbl")