

 Function foo

    line 4 / 17
    [37;31mFAILED[0m to compute Bound ( PotentialBoundLoops)
      line 7 / 14
      [37;31mFAILED[0m to compute Bound ( PotentialBoundLoops)
        line 9 / 12
        [37;31mFAILED[0m to compute Bound ( PotentialBoundLoops)

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