let labels_empty l = raise (LabelError l)