added check for split correctness