Ascent++ | killed at the end of the experiments

Assertion list for term "killed at the end of the experiments".

Results from Ascent++: 1

monkey → ReceivesAction → killed at the end of the experiments

0.29