Characteristic predicate Undefined::AtLeastOnceLoop::AtLeastOnceLoop

AtLeastOnceLoop()