fn display_term<F: AcirField, const N: usize>( coefficient: F, witnesses: [Witness; N], printed_term: bool, negate_coefficients: bool, f: &mut Formatter<'_>, ) -> Result