Spec Example 6.8. Flow Folding [1.3]