message: Factor generic constraint into a dedicated block
diff: @@ -666,9 +666,10 @@ where
  let quotient_poly = {
  // generic
  - let alphas =
  - all_alphas.get_alphas(ArgumentType::Gate(GateType::Generic), generic::CONSTRAINTS);
  - let mut t4 = index.cs.gnrc_quot(alphas, &lagrange.d4.this.w);
  + let mut t4 = {
  + let alphas = all_alphas
  + .get_alphas(ArgumentType::Gate(GateType::Generic), generic::CONSTRAINTS);
  + let t4 = index.cs.gnrc_quot(alphas, &lagrange.d4.this.w);
  if cfg!(debug_assertions) {
  let p4 = public_poly.evaluate_over_domain_by_ref(index.cs.domain.d4);
  @@ -677,6 +678,9 @@ where
  check_constraint!(index, gen_minus_pub);
  }
  + t4
  + };
  +
  // complete addition
  {
  let add_constraint = CompleteAdd::combined_constraints(&all_alphas);
  