implement the explorer tree, fix a bug in the explorer graph
implementation