I think it’s actually a lot more trivial than we’ve considered when you look at tx morphology in a graph vs isolation.
Looking at the graph as a whole, if it’s not too costly to pay for receiver input during time of payment you always prefer payjoin. Maybe some diagrams would help explain.
The two extremes should be ignored because they’re far outside of reality.