Assertion list
range (aspect of seal ) → ReceivesAction
Results from Ascent++: 2
range → ReceivesAction → contemplated 0.56
range → ReceivesAction → indicated 0.43