Consolidated find_[successor, predecessor]

* fixed a bug that prevented successor to be found
* find_successor() now just uses find_predecessor
* fixed tests