pub fn get_max_constraint_degree<F, A>( air: &A, preprocessed_width: usize, num_public_values: usize, ) -> usizewhere F: Field, A: Air<SymbolicAirBuilder<F>>,