First subarray is arr[l..m] Second subarray is arr[m+1..r]
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected