Compile examples with strictness analysis