WyC: Added missing test case