let remove_pred_name p n =
  { p with name = List.filter (fun n2 -> not (n = n2)) p.name }