

 Function size05

    line 2 / 5
    [37;31mFAILED[0m to compute RF  ( RFComputationFailed)
    line 6 / 8
    [37;31mFAILED[0m to compute Bound ( BoundDependsOnUnboundTransition)

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