newState          659 dmtcp_coordinator.cpp   WorkerState newState = minimumState();
newState          662 dmtcp_coordinator.cpp        && newState == WorkerState::SUSPENDED )
newState          668 dmtcp_coordinator.cpp        && newState == WorkerState::FD_LEADER_ELECTION )
newState          674 dmtcp_coordinator.cpp        && newState == WorkerState::DRAINED )
newState          682 dmtcp_coordinator.cpp        && newState == WorkerState::CHECKPOINTED )
newState          696 dmtcp_coordinator.cpp        && newState == WorkerState::CHECKPOINTED )
newState          705 dmtcp_coordinator.cpp        && newState == WorkerState::NAME_SERVICE_DATA_REGISTERED ){
newState          710 dmtcp_coordinator.cpp        && newState == WorkerState::DONE_QUERYING ){
newState          715 dmtcp_coordinator.cpp        && newState == WorkerState::REFILLED )
newState          719 dmtcp_coordinator.cpp        && newState == WorkerState::CHECKPOINTED )
newState          732 dmtcp_coordinator.cpp        && newState == WorkerState::CHECKPOINTED )
newState          740 dmtcp_coordinator.cpp        && newState == WorkerState::REFILLED )
newState          784 dmtcp_coordinator.cpp       WorkerState newState = s.minimumState;
newState          787 dmtcp_coordinator.cpp         ( oldState )( msg.from )( msg.state )( newState );