let ae_tmp_to_exp eh _sid vi _fd nofrm =
if nofrm || (check_forms vi.vname forms)
then try begin
let e = IH.find eh vi.vid in
if !debug then Kernel.debug "tmp_to_exp: changing %s to %a"
vi.vname d_plainexp e;
match e.enode with
| Const(CStr _)
| Const(CWStr _) -> None (* don't fwd subst str lits *)
| _ -> begin
ae_tmp_to_exp_change := true;
Some e
end
end
with Not_found -> None
else None