Does snarky prune unused cvars?

[L-as]

.

[L-as]

Considering

mina/src/app/zkapps_examples/big_circuit/zkapps_big_circuit.ml

Lines 9 to 14 in d5ae586

	let big_circuit num_constraints =
	for i = 0 to num_constraints * 2 do
	let a = constant Field.typ (Field.Constant.of_int i) in
	let b = exists Field.typ ~compute:(fun () -> Field.Constant.of_int i) in
	Field.Assert.equal a b
	done

works, I assume that at least any variable with a constraint on it is not pruned, even if the cvar is otherwise unused for verifying the public input(/output). Seems like this could be improved?

[L-as]

mitschabaude said yes on Discord for variables that have no constraints at all