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