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