Right now, it just colours c red, but I might just as soon save the trouble and simply make that node red in that case.
I can't currently get relative level or level to do anything interesting, although I'm sure I should be able to....
[prooftrees doesn't work properly right now and this was one idea I had about how I might fix it, even though it would be rather kludgey, probably.]
I need to increase the level of all nodes at the current level which have siblings and which are not earmarked already to be moved... I can move them, I think, if I can pick them out. But I can't pick them out and I can't figure out why I'm being so stupid.
@SašoŽivanović Thanks! So how are the equals and less than versions useful? Won't the former only refer to the current node and the latter never refer to anything? And the greater than version will refer to all the current nodes descendants?
Well, for relative level=0 you're certainly right, it will just refer to the current node. (And less than or equal to version as well.) But e.g. relative level=2 is certainly useful as it refers to all the grandchildren.