let
model_isfresh : store
->
alloc
->
F
.integer
->
F
.pred =
F
.p_app3
"is_fresh"