We can now add dropping and recreating the index to the list of things that don't fix the problem. Also, rebooting the sever didn't fix the problem. There must be some other reason why Firebird is refusing to use a perfectly good index. Further suggestions are welcome.