Lines Matching full:piece
350 /// invariant in the loop, or has an invariant piece, return the invariant.