Trace Analysis Results for Action C1RestartIfFailed(7)

This text provides more details for action C1RestartIfFailed(7).
Action is of type: undirected interaction, may change variables of several processes.
Action C1RestartIfFailed(7) occurs 2 times, which accounts for 0.04 % of all events.
On average an action occurs 456.08 times, so this action is below average.
Action occurs at position 1955 for the first time, at position 2212 for the last time.
Note that the action is not(!) present in the last 3261 events, which is 59.58% of all events. May be it becomes rare or even dead?
It never follows another action in zero time, there is always a non-zero delay observed before this action occurs.

Enabling Set and State Transformations

The following table shows for what value setting of variables the action occurs and what state transformation it performs.The table shows only those variables that belong to processes that the action corresponds to.

Variable	Enabling Range	State Transformation	Remarks
Avail(Avail)	= 0	not modified
Failed(Failed)	= 1	v'=v	Action performs identity function!
C1WaitsForServer(C1WaitsForServer)	= 0	v'=v+1
C1WaitsForUser(C1WaitsForUser)	= 0	not modified
C2WaitsForServer(C2WaitsForServer)	= 0	not modified
C2WaitsForUser(C2WaitsForUser)	in {0,1}	not modified	Action occurs at full range of values!
C1InService(C1InService)	= 1	v'=v-1
C2InService(C2InService)	= 0	not modified
Sidle(Sidle)	= 0	v'=v+1

List of Warnings

Type 7: Action C1RestartIfFailed(7) performs identity as state transformation to variable Failed(Failed).
Type 16: Action C1RestartIfFailed(7) may deadlock, because it occurs the last time at event 2212 and is not seen for the remaining 59.58 percent of the trace.