Assertion list for term "never be realized".
Results from Ascent++: 2
ideal → ReceivesAction → never be realized 0.35
return → ReceivesAction → never be realized 0.21