Function foo

    line 29
    2 + max(0, (3 + max(0, ( 2 × max(call_to_nondet_line_40, 0) + max(call_to_nondet_line_9, 0))))) + max(0, ( 2 × max(call_to_nondet_line_40, 0) + max(call_to_nondet_line_9, 0)))
    O(n)

Total Bound: 2 + max(0, (3 + max(0, ( 2 × max(call_to_nondet_line_40, 0) + max(call_to_nondet_line_9, 0))))) + max(0, ( 2 × max(call_to_nondet_line_40, 0) + max(call_to_nondet_line_9, 0)))
Total Complexity: O(n)