Análise de contingências de trechos de instruções