canReturnTo

Whether the chain can leave state and come back to it in one or more transitions.