let get_str_exp_from_tmpident var =
  try
    let (_,str,_) = (Hashtbl.find !ltl_exps var) in
      str
  with
    | _ ->
        Ltl_to_acsl_option.fatal "Ltl_to_acsl plugin internal error. Status : TMP Variable (%s) not declared in hashtbl. \n" var