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