Uma correção anterior limitou o cancelamento de uma etapa que falhou ao próprio ramo dela, e estava certo — mas três paradas valendo para a execução toda se apoiavam nesse mesmo sinal para significar «encerre tudo»: o teto de gasto da sessão, o limite de cinquenta etapas e esse mesmo limite dentro do laço de nova tentativa do controle de qualidade. Uma execução podia continuar gastando em ramos que não vinham da falha. As três agora encerram a execução inteira, depois que as saídas da onda em curso são juntadas, então o trabalho que você já pagou chega até você mesmo assim.