pub fn constrain_lookups<F: PrimeField, Env: ColAccessCap<F, TestColumn> + LookupCap<F, TestColumn, LookupTable>>(
    env: &mut Env
)