| limit → ReceivesAction → never reached | 0.30 | |
| consensus → ReceivesAction → never reached | 0.25 | |
number
(aspect of
variable)
→
ReceivesAction
→
never reached
|
0.25 |