Function foo

    line 83
    10
    O(1)
      line 29
      20
      O(1)
        line 47
        max(0, ( 10 × max(0, (call_to_nondet_line_9 + 8)) +  10 × max(0, (call_to_nondet_line_9 + 9)) + max(0, (call_to_nondet_line_9 + -1))))
        O(n)

Total Bound: 30 + max(0, ( 10 × max(0, (call_to_nondet_line_9 + 8)) +  10 × max(0, (call_to_nondet_line_9 + 9)) + max(0, (call_to_nondet_line_9 + -1))))
Total Complexity: O(n)