Idea: Find a heisenbug via binary search. Insert debug instrumentation across only half the output, run, repeat. May be multicausal though.