Function foo

    line 11
    max(0, (A + 1))
    O(n)
      line 8
      max(0, ( max(0, (A + 1)) × max(0, (1 + max(call_to_nondet_line_9, B))) + max(0, (1 + max(call_to_nondet_line_9, B)))))
      O(n^2)

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