fn ledger_proof_statement_from_emitted_proof(
emitted_ledger_proof: Option<&LedgerProofProdStableV2>,
pred_proof_statement: &MinaStateBlockchainStateValueStableV2LedgerProofStatement,
) -> MinaStateBlockchainStateValueStableV2LedgerProofStatement