let push_context where =
    let hints = !hint_context in
    hint_context := None ;
    hints , D.push where (F.pool()) D.closed []