pub fn extend<F: PrimeField>(witness: &mut [Vec<F>; 15], fe: F)
Extend an existing witness with a single range check witness for foreign field element