Function foo

    line 8
    max(0, (call_to_nondet_line_281 + -2))
    O(n)
    line 56
    max(0, (F + 1))
    O(n)
    line 229
    max(0, (E1 + 1))
    O(n)

Total Bound: max(0, (call_to_nondet_line_281 + -2)) + max(0, (F + 1)) + max(0, (E1 + 1))
Total Complexity: O(n)