let
pforall (v,_ty,p) =
forall_pred (
fun
_
->
assert
false
) ~fresh:
true
v p