The idea is that it isn't limited to breadth first searches. It provides a way to write algorithms such that they are automatically differential in nature.