method vvdec vi =
let ki = self#current_ki in
if Db.Value.is_accessible ki then begin
let z =
!Db.Value.lval_to_zone
ki ~with_alarms:CilE.warn_none_mode (Var vi, NoOffset)
in
decls <- (vi, z) :: decls
end;
DoChildren