reg006.idr:17:RBTree.lookup is possibly not total due to: RBTree.lookup_case