约束函数用于在扩展节点处剪去____的子树。