idris-0.9.9.1: test/reg006/expected

reg006.idr:17:RBTree.lookup is possibly not total due to: RBTree.case block in lookup