(current_nodes: List[Type[InferNode]])
| 106 | |
| 107 | |
| 108 | def select_non_prune(current_nodes: List[Type[InferNode]]) -> List[Type[InferNode]]: |
| 109 | candidate_nodes = [] |
| 110 | for node in current_nodes: |
| 111 | candidate_nodes.extend([child for child in node.children if not child.prune]) |
| 112 | return candidate_nodes |
| 113 | |
| 114 | |
| 115 | def sort_by_strategy( |