Implementação da semantica do IF