Found a test case where the divide-and-conquer algorithm does not behave as expected.
Problem seems to be with find_max_crossing_subarray .