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