Add a test for flip-flop with "True but $seqnum".