LCA in binary_search has no problems now