Adding a heuristic to more eagerly split bounded integer variables.