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