pub fn poseidon2_finalize_mut(
        &mut self,
        p2_hash_num: Var<C::N>,
        output: &Array<C, Felt<C::F>>,
    ) {
        self.push_op(DslIr::Poseidon2FinalizeBabyBear(p2_hash_num, output.clone()));
    }
Applies the Poseidon2 finalize to the given hash number.

Reference: [p3_symmetric::PaddingFreeSponge]
crates/recursion/compiler/src/ir/poseidon.rs