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)