Some feeder.py enhancements for tree search.