let close_property where context q = function
| Keep_opened ->
let bindings = D.pop where context in
{
bindings = bindings ;
property = q ;
}
| Close_context ->
{
bindings = D.closed ;
property = D.flush where context q ;
}