assertEvenParity2.v