ProbabilisticBinaryMaximumSearch [dev.]