Queues.
Load queue.lisp.
A TSTP solution isn't determined by a single piece of information.
The subsolution terminating at a given step.

Essentially just a graph traversal problem.