Function group_to_witness 

fn group_to_witness<F: FieldWitness>(
    group: GroupAffine<F>,
    w: &mut Witness<F>,
) -> GroupAffine<F>