

 Function size08

    line 10 / 12
    [37;31mFAILED[0m to compute Bound ( BoundDependsOnUnboundTransition)
    line 3 / 7
    [37;31mFAILED[0m to compute RF  ( RFComputationFailed)

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