

 Function wcet0

    line 10 / 20
    1 + max(0, (n + -1))
    O(n^1)

Total Complexity: O(n^1)
