Lines Matching full:precondition
2766 // Precondition tests if there is at least one iteration (LastIteration > 0).