Removed duplicate assertion. This is identical to the first match arm. T...

...his assertion is repeated also in the n arm.