Removed duplicate assertion. This is identical to the first match arm. This assertion is repeated also in the n arm.
Merge pull request #82 from nwin/master

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