Eng 6012 inexists sp

What I mean to say is after a IN( SetOP) expression is simplified by breaking into individual IN (select..) if possible, these simplified IN expressions may be converted into corresponding EXISTS expressions.
I removed this line.