Function add_in

fn add_in<F: FieldWitness>(
    a: &mut [F; 3],
    i: CircuitVar<Boolean>,
    x: F,
    w: &mut Witness<F>,
)