let deepening_bound config = config.deepening_bound