Lines Matching full:preserved
1122 // The weight is reversed, while the label and nextstate preserved
