

 Function foo

    line 4 / 14
    1 + max(y, 0)
    O(n^1)
      line 8 / 10
      [37;31mFAILED[0m to compute Bound ( PotentialBoundLoops)

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