Testing a possible bug in PostgreSQL's query planner