promoteRoot(root) ;
BPT.error("Not root: %d (root is id zero)", root.getId()) ; root.internalCheckNode() ; promoteRoot(root) ;
BPT.error("Not root: %d (root is id zero)", root.getId()) ; root.internalCheckNode() ; promoteRoot(root) ;
promoteRoot(root) ;
BPT.error("Not root: %d (root is id zero)", root.getId()) ; root.internalCheckNode() ; promoteRoot(root) ;
BPT.error("Not root: %d (root is id zero)", root.getId()) ; root.internalCheckNode() ; promoteRoot(root) ;