let
empty =
NoAssigns
, {
bindings =
D
.closed ;
property =
F
.p_true ;
}