fn exists_prev_statement( step_statement: &StepStatement, messages_for_next_step_proof_hash: [u64; 4], w: &mut Witness<Fq>, ) -> Result<()>