WyC: Added another test case.
WyC: updated verification tests as well