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