Function split_field 

fn split_field(x: Fq, w: &mut Witness<Fq>) -> (Fq, Boolean)