Improve strictness analysis for bottoming functions

No match.