Ri-corrette le do-Load

Come un fesso non ho visto che il prof faceva già tutto lui, di
conseguenza ho levato le precondizioni e asserito il fatto di EXEC cosi
che esegua la do-Load del prof con le precondizioni già scritte e tutte
le variabili di tempo e step settate nel modo giusto