_START Initial state Tries

are the initial point

to the initial step, followed

=0.0.0.0). Initial state ("Reset

trace initially [...] initially : The trace is initially halted

Type Initial Value [...] Initial Value

into an initial step

. In the initialization phase

During initialization and each time

. During initialization after a