Infrastructure for explaining the outputs of differential dataflow computations - View it on GitHub