implement pruning of search result trees
implement pruning of search result trees

pascience/LivelyKernel,pascience/LivelyKernel,LivelyKernel/LivelyKernel,LivelyKernel/LivelyKernel,NikolaySuslov/LivelyKernel,LivelyKernel/LivelyKernel,NikolaySuslov/LivelyKernel,NikolaySuslov/LivelyKernel,pascience/LivelyKernel