WyC: added interesting test case.