

 Function foo

    line 4 / 11
    [37;31mFAILED[0m to compute Bound ( PotentialBoundLoops)

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