

 Function size06

    line 12 / 14
    [37;31mFAILED[0m to compute Bound ( BoundDependsOnUnboundTransition)
    line 3 / 6
    1 + max(c, 0)
    O(n^1)
    line 7 / 11
    [37;31mFAILED[0m to compute RF  ( RFComputationFailed)

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