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