let get_one_stmt_label stmt = let rec pickLabel labels = match labels with | [] -> ("__unknown_label_"^(string_of_int stmt.sid)) | Label (l, _, _) :: _ -> l | _ :: rest -> pickLabel rest in pickLabel stmt.labels