WyC: added test cases for #381
WyC: added test case for #389