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 Cilmsg.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