Removed load-state instruction

The load-state operation is removed: it should not be part of the trace (since in that case the trace would always execute in the same environment and store).