WyC/WyCS: added tests cases for #352