pub fn debug_constraints<SC, C, E>( circuit: &C, ctx: &ProvingContext<E::PB>, engine: &E, )where SC: StarkProtocolConfig<F = F>, C: Circuit<SC>, E: StarkEngine<SC = SC>,