let
labels_predicate lab_pairs =
fun
l
->
try
List
.assoc l lab_pairs
with
Not_found
->
l