Assertion list for term "kill the process".

Results from Ascent++: 2
kernel CapableOfkill the process 0.47
signal CapableOfkill the process 0.19