Function foo

    line 47
    max(call_to_nondet_line_66, 0)
    O(n)
      line 8
      max(0, ( max(call_to_nondet_line_66, 0) × max(0, (call_to_nondet_line_55 + -1)) + max(call_to_nondet_line_55, 0)))
      O(n^2)

Total Bound: max(call_to_nondet_line_66, 0) + max(0, ( max(call_to_nondet_line_66, 0) × max(0, (call_to_nondet_line_55 + -1)) + max(call_to_nondet_line_55, 0)))
Total Complexity: O(n^2)