I've now fixed the optimizer so it picks up the join condition in the original version of Q9. It was a typical optimizer glitch - the pattern that it recognizes as suitable for indexing wasn't present in the query at the time it was looking for it, it only became present later as a result of a further rewrite.