WyCS: added test case for #373