Spec Example 6.8. Flow Folding
