Ascent++
Search
Assertion list
failed bank
(
subgroup
of
bank
)
→ ReceivesAction
Results from
Ascent++
:
1
failed bank
→
ReceivesAction
→
acquired by another bank
0.59