pub fn test_completeness_generic_no_lookups<const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, RNG>(
constraints: Vec<E<Fp>>,
fixed_selectors: Box<[Vec<Fp>; N_FSEL]>,
evaluations: Witness<N_WIT, Vec<Fp>>,
domain_size: usize,
rng: &mut RNG,
)