Does it solve all the constraint statements at zero timestamp?
And what about first example i.e., array?
another query: if constraint like c_one is given
constraint c_one {(b=0) → (c=1) ;} //bit b, c ;
then how it’ll decide that firstly it has to solve b and then c? or how does it solve this constraint?