WyC: Added Test Cases for #428.

This bug illustrates a problem in the Java backend related to
indirect assignments.