fn merge_main( statement: &Statement<SokDigest>, proofs: &[LedgerProofProdStableV2; 2], w: &mut Witness<Fp>, ) -> Result<(Statement<SokDigest>, Statement<SokDigest>)>