splitter: Implemented a test that proofs the splitting process