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