

 Function non_linear10

    line 28 / 30
    [37;31mFAILED[0m to compute Bound ( BoundDependsOnUnboundTransition)
    line 6 / 26
    [37;31mFAILED[0m to compute Bound ( PotentialBoundLoops)
      line 15 / 25
      [37;31mFAILED[0m to compute RF  ( RFComputationFailed)

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