method vlogic_var_decl v =
    let newty =
      app_term_type
        (fun ty ->
           Ctype (if isStructOrUnionType ty then mkTRef ty else ty))
        v.lv_type v.lv_type
    in
    v.lv_type <- newty;
    DoChildren