pub fn add(&mut self, v1: &Variable, v2: &Variable) -> Variable {
        self.linear_combination(v1, FE::one(), v2, FE::one(), FE::zero(), None)
    }
Creates a new variable `w` constrained to be equal to `v1 + v2`.
crates/provers/plonk/src/constraint_system/operations.rs