New test-case: extractor names are supposed to be unique