Function get_prepared_statement

fn get_prepared_statement<AppState>(
    message_for_next_step_proof: &MessagesForNextStepProof<'_, AppState>,
    message_for_next_wrap_proof: &MessagesForNextWrapProof,
    deferred_values: DeferredValues<Fp>,
    sponge_digest_before_evaluations: &CompositionTypesDigestConstantStableV1,
) -> PreparedStatement
where
    AppState: ToFieldElements<Fp>,