Function foo line 21 max(C, 0) O(n) line 41 FAILED to compute Bound