Characteristic predicate LoopBounds::ClassicForLoop::ClassicForLoop

ClassicForLoop()