Proper reset method in the interpreter