state aspect of latch, 4 assertions
ReceivesAction 4
verified 0.76
shown in fig 0.68
tracked 0.60
changed 0.25