WyC: Added Test Case for #409.
This test case illustrates an unusual situation where a for loop
terminates through a return at the end of its body.  This is currently
causing an internal failure.