Another fix to [e33da6d5dc964db8]: Ensure that the EXISTS-to-JOIN break happens even if the inner loop is a "no-op" loop that never executes more than once because it is controlled by a UNIQUE index. This resolves the error reported in [forum:/forumpost/7992838ba2|forum post 7992838ba2]. Test cases are in TH3. (tags: trunk)

Another fix to [e33da6d5dc964db8]: Ensure that the EXISTS-to-JOIN break happens even if the inner loop is a "no-op" loop that never executes more than once because it is controlled by a UNIQUE index. This resolves the error reported in [forum:/forumpost/7992838ba2|forum post 7992838ba2]. Test cases are in TH3. (tags: trunk)