expected_trace.txt 90 B

123
  1. 0.00 A: exit /init
  2. 0.00 A: transition (/init -> /initializing)
  3. 0.00 A: enter /initializing