Add case-reduce-unfold