removed the useless code from SplitProof