pub(crate) fn create_constraint_system<F: PrimeField>(
gates: Vec<CircuitGate<F>>,
public: usize,
prev_challenges: usize,
lookup_tables: Vec<LookupTable<F>>,
runtime_tables: Option<Vec<RuntimeTableCfg<F>>>,
disable_gates_checks: bool,
override_srs_size: Option<usize>,
lazy_mode: bool,
) -> ConstraintSystem<F>