Rename SplitProof in BuildActivationGraph