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