If an action is added to finalSatedComm, then there is no cycle