How Arity refines its crash detection algorithms