Fix bug in dependencies with exit signals

The trapping status of a process was not correctly communicated when checking
for races with non-kill abnormal exit signals. This lead to a lot more
interleavings being considered.