Assertion list for term "flipped in the frame".

Results from Ascent++: 1
bit ReceivesActionflipped in the frame 0.25