Variations on strictness analysis

Abstract
No abstract available