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