Function foo line 17 max(B, 0) O(n) line 35 FAILED to compute Bound