WyC: Updated invalid test case #348.

This test case is currently unsupported due to a lack of proper union
types in the verifier.