

 Function non_linear09

    line 24 / 26
    [37;31mFAILED[0m to compute Bound ( BoundDependsOnUnboundTransition)
    line 6 / 22
    [37;31mFAILED[0m to compute Bound ( PotentialBoundLoops)
      line 14 / 21
      [37;31mFAILED[0m to compute RF  ( RFComputationFailed)

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