

 Function twn17

    line 19 / 21
    [37;31mFAILED[0m to compute Bound ( BoundDependsOnUnboundTransition)
    line 2 / 18
    1 + max(a, 0)
    O(n^1)
      line 12 / 15
      [37;31mFAILED[0m to compute RF  ( RFComputationFailed)
      line 6 / 9
      [37;31mFAILED[0m to compute RF  ( RFComputationFailed)

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