new file:   Daikon_Initial_Spurious_Output.txt