Passes JoinOptimizerTest (not OrderJoins) // Exercise 4