pub fn lookups_circuit<F: PrimeField, Env: ColAccessCap<F, TestColumn> + ColWriteCap<F, TestColumn> + DirectWitnessCap<F, TestColumn> + LookupCap<F, TestColumn, LookupTable>>(
    env: &mut Env,
    domain_size: usize
)