Function split_fri_merkle_statements

pub fn split_fri_merkle_statements(
    annotated_proof: AnnotatedProof,
) -> Result<SplitProofs, ParseError>

This is the main function to use to split an AnnotatedProof file into a SplitProofs file. This processes the annotations of the original proof, and extra annotations prepared by a verifier, and returns a shortened proof (with merkle decommitments removed) in binary form, and a dictionary merkles_statements from the names of the merkle commitments used in the proof to dictionaries containing all data necessary for registering them in the Merkle Fact Registry.