pub fn add_constant(&mut self, v: &Variable, constant: FE<F>) -> Variable {
        self.linear_function(v, FE::one(), constant, None)
    }
Creates a new variable `w` constrained to be equal to `v1 + constant`.
crates/provers/plonk/src/constraint_system/operations.rs