Implementa comparações, saltos, laços, tabelas de salto e seleção sem desvios. Estruturas como if, while e switch são reconstruídas diretamente com instruções.
