Removed the memoSimulation function as it makes no sense and it cannot be implemented using MonadRef.