Stopping rules and estimation for recapture debugging with unequal failure rates | Synapse