Lines Matching full:recognize
1585 // can recognize equality properties that the insertion logic doesn't know
