DAETesting now correctly handles different values of y1_init.