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 ~loc:e.eloc (Const c)) end
| _ -> None end
with Not_found -> None
else None