(((cex.state[2:0] = 7  * cex.s2 = 1 ) )  * S.state[1:0] = 0)  * 
EX( S.state[1:0] = 1 ) ;