Title: Projection-based strictness analysis