Generating parallelism from strictness analysis