Refactor main engine loop so that the engine is never locked for a non-deterministic duration. This is necessary to ensure that it's always possible to terminate the engine.
Refactor main engine loop so that the engine is never locked for a non-deterministic duration. This is necessary to ensure that it's always possible to terminate the engine.

orc-lang/orc,orc-lang/orc,orc-lang/orc,orc-lang/orc,orc-lang/orc