let match_label lbl = match lbl with
  Label(str,_,_b) ->
    if !debug then (Cilmsg.debug "Liveness: label seen: %s\n" str);
    (*b && *)(String.compare str (!live_label) = 0)
| _ -> false