correction max
correction os is_search_tree predicate

this did not consider the splitkey before, but the node key itself ...
remove is_balanced_tree (was wrong)

introduce key_condition to search for max-key and split keys
add test for finite map