Cleanup part 1: only do doubling Joins when Existential Joins just won't do;