Assertion list
constant expression (subgroup of expression ) → ReceivesAction
Results from Ascent++: 2
constant expression → ReceivesAction → evaluated 0.68
constant expression → ReceivesAction → converted to bool 0.25