finished unmapped branches of the ismatch and islength operators