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
)where
    RNG: RngCore + CryptoRng,