Debugging causal broadcast