Just one word to say that I tried earlier to post a message saying that your second term of the flip flop operator is probably never matched, so that the operator remains always true, but it was impossible to post a message at the time. So, basically, I fully agree with previous comments.