let logic_labels_assoc =
  List.map (fun (_,l) -> logic_label l)