save the explored view @param state: DeviceState, where the view located @param view_str: str, representing a view @return:
(self, state, view_str)
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected