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