let
named_pred p =
List
.fold_right
(
fun
lab p
->
mkexpr (
JCPElabel
(lab,p)) p
#
pos) p.name (pred p)