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