Make eta reduction check more carefully for bottoms (fix Trac #1947)