This sounds fine to me. If cleaning is a no-op in this case, it makes sense to just add an edge around it on the state graph.
This sounds fine to me. If cleaning is a no-op in this case, it makes sense to just add an edge around it on the state graph.