/// <summary>
/// Executes the state machine to completion, using non-deterministic semantics,
/// appending any results to the handler state.
/// </summary>
private async Task ContinueStateMachine(bool clone = false)
{
var stateMachine = clone ? _stateMachine.Clone() : _stateMachine;
var results = await NonDetEffectHandler.Run(stateMachine);
Results.AddRange(results);
}
