Improve strictness analysis for bottoming functions