Potential non-deterministic circuit?

[UIZorrot]

I notice that in circuits.gl/mux1.circom, the output of MultiMux1(n) is like this:

out[i] <== (c[1][i] - c[0][i])*s + c[0][i];

It seemed like a non-deterministic circuit, when "s=0" or "c[1][i] - c[0][i]=0", the other factor can be any value.
I'm not pretty sure, does that sound like a real problem for the team?