WyC: Added Test Case from #449.

Issue #449 is related to the poor support for verifying list append
operations in the verify.  The issue contains an interesting test case
written by Mark Utting which I've now included in the Whiley test suite.