

 Function rank2

    line 9 / 19
    [37;31mFAILED[0m to compute Bound ( PotentialBoundLoops)
      line 11 / 17
      [37;31mFAILED[0m to compute Bound ( PotentialBoundLoops)
        line 13 / 15
        [37;31mFAILED[0m to compute Bound ( PotentialBoundLoops)

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