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