Change: Search strategy completely dropped
Change: new symbol search infrastructure
Change: new symbol search infrastructure: Children
Change: new symbol search infrastructure: Paths