method vstmt s =
if List.exists match_label s.labels then try
let vs = LiveFlow.StmtStartData.find s.sid in
(printer := min_print;
Format.printf "%a" LiveFlow.pretty vs;
SkipChildren)
with Not_found ->
if !debug then (Cilmsg.debug "Liveness: stmt: %d not found\n" s.sid);
DoChildren
else
(if List.length s.labels = 0 then
if !debug then (Cilmsg.debug "Liveness: no label at sid=%d\n" s.sid);
DoChildren)