About Flip-Flop Predicate

The predicate emulates the logic of the flip-flop operator.