WyC: added useful test case for #364