Function foo

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

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