Trace Analysis Results for Action Packet hopping from node 0 to node -1(node0_h_0L-1)

This text provides more details for action Packet hopping from node 0 to node -1(node0_h_0L-1).
Action is of type: directed interaction, supposed to change variables of at most two processes.
Action Packet hopping from node 0 to node -1(node0_h_0L-1) occurs 1 times, which accounts for 0.10 % of all events.
On average an action occurs 12.05 times, so this action is below average.
Action occurs at position 3 for the first time, at position 3 for the last time.
Note that the action is not(!) present in the last 997 events, which is 99.70% 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
State of node 0(node0_state)	= 1	not modified	Action occurs at full range of values!
Number of packets dropped by node 0(node0_dropped)	= 0	not modified	Action occurs at full range of values!
Number of packets received by node 0(node0_received)	= 0	not modified
Number of packets sent by node 0(node0_sent)	= 0	v'=v+1
The state of the link from node 0 to node -1(0L-1_state)	= 1	not modified	Action occurs at full range of values!

List of Warnings

Type 8: Action Packet hopping from node 0 to node -1(node0_h_0L-1) occurs only once, linear state transformation for Number of packets sent by node 0(node0_sent) is possible but fitting is based on not enough data to be uniquely determined.
Type 9: Action Packet hopping from node 0 to node -1(node0_h_0L-1) is not present in any cycles observed in this trace.
Type 10: Action Packet hopping from node 0 to node -1(node0_h_0L-1) is not element of any action invariant computed for the linear state transformations performed by the actions of this trace.
Type 16: Action Packet hopping from node 0 to node -1(node0_h_0L-1) may deadlock, because it occurs the last time at event 3 and is not seen for the remaining 99.70 percent of the trace.