24.20 절단 연산자(Cut Operator)의 의미론과 탐색 공간 제어