[Eva] Prepares new runs of test float/nonlin.c: moves oracle from run 3 to 4.

This commit is separated from the next to avoid mixing up the oracle moves with
the addition of new oracles for the new runs.