let ae_tmp_to_const eh _sid vi _fd nofrm =
  if nofrm || check_forms vi.vname forms then
    try begin let e = IH.find eh vi.vid in
    match e.enode with Const c -> begin
      ae_tmp_to_const_change := true;
      Some(new_exp (Const c)) end
    | _ -> None end
    with Not_found -> None
  else None