method vexpr e = match self#get_cur_eh () with | None -> DoChildren | Some eh -> begin let e', _ = ae_lv_fwd_subst eh (Extlib.the self#current_stmt).sid e fd false in ChangeTo e' end