let killing = function `Killing _ -> true | _ -> false