let merge_property f w1 w2 =
    {
      bindings=D.closed ;
      property=f
        (D.close w1.bindings w1.property)
        (D.close w2.bindings w2.property) ;
    }