WyCS: updated test case which was previously known to fail