tools for debugging tree-exploration problems
bug root-caused and partially fixed
OMG --shortest is SOOOO slow