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