method vlval lv =
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 lv in
if not (Locations.Zone.equal Locations.Zone.bottom z) then
List.iter
(fun (vi, zvi) ->
if Locations.Zone.intersects z zvi then Occurrences.add vi ki lv)
decls
end;
DoChildren