Fixed some bugs in the BTree benchmark...
013_btree: added a suitable post-condition for add()