WyC: updated test which now passes verification