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