Assign `loc` in the current scope to `val`. If `public`, then make the new variable version a public (fixed) rather than private (existential) circuit input.
(&mut self, loc: Loc, val: Val<E::T>)
source not stored for this graph (policy: none)
no test coverage detected