Create canonical example of list reversal from Shape Analysis

See #1.