the hard part of testing missionary operators is that for a given event happening to a running process you need to check for some effects happening synchronously, and these effects can also trigger re-entrant events and so on

lolcat is my first kind-of-successful attempt, but still I think the testing framework could benefit from being more specific