Enforce structured programming in binary_search