Function foo

    line 25
    max(call_to_nondet_line_9, 0)
    O(n)
    line 47
    max(call_to_nondet_line_11, 0)
    O(n)

Total Bound: max(call_to_nondet_line_11, 0) + max(call_to_nondet_line_9, 0)
Total Complexity: O(n)