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 ;
        }