Fixed two major bugs in c.deletePositionsInList: always delete in reversed sorted order.  Create a new root node if all (top-level) nodes have been deleted.  Revised corresponding unit tests.
Update aux files.