exhaustMerge test
impl copySplit, exhaustMerge and fairMerge without super call
andStep