Function foo

    line 26
    max(0, (20 - call_to_nondet_line_9))
    O(n)

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