Function wrap

pub fn wrap<F: FieldWitness>(
    potential_xs: (F, F, F),
    w: &mut Witness<F>,
) -> GroupAffine<F>