WyC: Marked some test cases as ignored.

These test cases are new ones added in relation to #427.