When updating the commit message, I realized that you had made the right call to divide the the changes around not translating the dummy SpecialJoinInfos into a separate patch. So, I pushed it like that.
Sorry I'm late for the party. I noticed that in commit 6190d828cd the comment of init_dummy_sjinfo() mentions the non-existing 'rel1' and 'rel2', which should be addressed. Also, I think we can make function consider_new_or_clause() call init_dummy_sjinfo() to simplify the code a bit.