Add AtomicInputs (needed for correctness of new delta debugging. Also better
printing