ADD: Implementation and testing of binary search for predicates