additional printout in TableConfigChecker and experimenting with counting predecessors in playground/xpath/23 (I verified that an assumption I had made does indeed hold)