

 Function alain

    line 11 / 23
    1 + max(n1, 0)
    O(n^1)
      line 15 / 20
      [37;31mFAILED[0m to compute Bound ( PotentialBoundLoops)

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