- Efficiency changes and queries regarding considerations about "stop_clock" transitions for all automata being unnecessary