Add slice and shape to Execution visitor methods

Needed when saving data to file