?prevdifflink? - Blame
iota n in set {0, ..., card tree}
& p >= oldRootPos*2**n and p < (oldRootPos + 1)*2**n
