let
is_empty (_,p) =
F
.is_true p.property