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