Ascent++ | more than one dying declaration

Assertion list for term "more than one dying declaration".

Results from Ascent++: 1

case (aspect of victim) → HasProperty → more than one dying declaration 0.29