int LedVermC = 2;
int LedAmarC = 4;
int LedVerdC = 5;
int LedVermP = 18;
int LedVerdP = 19;
int Botao = 12;
int ValorBotao;

void setup() {
  pinMode(LedVermC, OUTPUT);
  pinMode(LedAmarC, OUTPUT);
  pinMode(LedVerdC, OUTPUT);
  pinMode(LedVermP, OUTPUT);
  pinMode(LedVerdP, OUTPUT);
  pinMode(Botao, INPUT);
}

void loop() {
  ValorBotao = digitalRead(Botao); // Use a variável Botao ao invés do valor inteiro 12

  if (ValorBotao == HIGH) {
    digitalWrite(LedVermC, LOW);
    digitalWrite(LedAmarC, HIGH);
    digitalWrite(LedVerdC, LOW);
    digitalWrite(LedVermP, HIGH);
    digitalWrite(LedVerdP, LOW);
    delay(2000);

    digitalWrite(LedVermC, HIGH);
    digitalWrite(LedAmarC, LOW);
    digitalWrite(LedVerdC, LOW);
    digitalWrite(LedVermP, LOW);
    digitalWrite(LedVerdP, HIGH);
    delay(2000);
  } else {
    digitalWrite(LedVermC, LOW);
    digitalWrite(LedAmarC, LOW);
    digitalWrite(LedVerdC, HIGH);
    digitalWrite(LedVermP, HIGH);
    digitalWrite(LedVerdP, LOW);
  }
}