Function foo

    line 33
    max(C, 0)
    O(n)
      line 32
      max(0, ( max(C, 0) × max(call_to_nondet_line_61, C, 0) + max(call_to_nondet_line_61, C, 0)))
      O(n^2)

Total Bound: max(C, 0) + max(0, ( max(C, 0) × max(call_to_nondet_line_61, C, 0) + max(call_to_nondet_line_61, C, 0)))
Total Complexity: O(n^2)