Adjusted the InsertWorksProofsso they works with the new split_list proofs.