Function foo

    line 19
    max(0, (4 - call_to_nondet_line_9))
    O(n)

Total Bound: max(0, (4 - call_to_nondet_line_9))
Total Complexity: O(n)