Binary Search Example - C++ Typing CST Test