Strictness analysis of functions with projections