Added clauses of mutual exclusion of actions