[einhverfr]

That's the exact case where I saw it in the PostgreSQL code. Re-doing join pruning when a join was eliminated.