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