strictness analysis