Potential improvements for CSE, strictness analyzer, let-floating