I think this is going okay. There are a few unfortunate cases in my BFS that do not do the relabelling properly and I am at a loss as to why. gdb should help