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