Function foo

    line 8
    max(0, (16 + max(0, (call_to_nondet_line_110 + -2))))
    O(n)
    line 98
    16
    O(1)

Total Bound: 16 + max(0, (16 + max(0, (call_to_nondet_line_110 + -2))))
Total Complexity: O(n)