

 Function size09

    line 3 / 20
    1 + max(e, 0)
    O(n^1)
      line 12 / 14
      [37;31mFAILED[0m to compute Bound ( AbstractionFailed (code 4))
      line 4 / 11
       max(e, 0) × max(e, 0) + max(a, 0)
      O(n^2)

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