Thinking about this issue and other similar.
Flipflops are currently set to initialize at state "0".
The fact that this circuit didn't do it is because another issue making the clock trigger at start if it's iverted (solved at Rev 843).
In other circuits happens exactly the opposite, they work with JK initial state "1".
By "work" I mean they start in a consistent state that makes sense, for example in a counter it always starts at value = 0.
But in real hardware this is not always the case and often a reset is needed at start.
So in some cases it is possible to do a circuit that consistently "works" in simulide, but in a real circuit would not work.
Then I think FlipFlops should be randomly initialized, as it would happen in a real circuit, forcing to create some initial reset mechanism.
This also has it's educative value in my opinion.
Any opinions?