Si consideri il seguente modello Modelica.
<pre>
class System
Boolean x;
initial equation
x = false;
equation
when sample(0, 2) then
    x = not (pre(x));
end when;
end System;
</pre>
Quale delle seguenti affermazioni vale per la variabile booleana x ?