

 Function size14

    line 3 / 6
    1 + max(a, 0)
    O(n^1)
    line 7 / 9
    [37;31mFAILED[0m to compute Bound ( AbstractionFailed (code 4))

Total Complexity: [37;31mFAILED[0m
