Are unused computations stripped from the circuit?

[north saddle]

E.g. I'm doing

let x = Provable.witness(Field, () => y.mul(z));

The multiplication should obviously not be included in the circuit.
Is it?

[foggy rampart]

It isn't