Adds draft of conditionally proceeding automata part.
Fixes compilation errors on gated transition.
Adds a simple test on gated transition.
Adds the outline of a test where a train flipflops between the loop and the stub tracks.
Re-adds accidentally deleted test.
Fixes the circles alternating test.
Fixes a todo in removing outdated permit requests.