A habilidade mais básica de encontrar bugs é dividir o código em todos os caminhos de execução possíveis e, em seguida, verificar cada um deles. Bônus: Cada universo de código criado pela divisão de if's é mais simples e fácil de verificar do que o original