Function foo

    line 21
    max(0, (B + -1))
    O(n)
      line 21
      max(0, ( max(0, (B + -1)) × max(call_to_nondet_line_9, call_to_nondet_line_29, 0) + max(call_to_nondet_line_9, call_to_nondet_line_29, 0)))
      O(n^2)

Total Bound: max(0, (B + -1)) + max(0, ( max(0, (B + -1)) × max(call_to_nondet_line_9, call_to_nondet_line_29, 0) + max(call_to_nondet_line_9, call_to_nondet_line_29, 0)))
Total Complexity: O(n^2)