let pred_has_name p n =
  List.exists (fun n2 -> n = n2) p.name