Debugjump traverser. It requires tests.