I find it more sensible to save the previous button state just before reading it again.
void loop()
{
lastButtonState = buttonState;
// read the state of the pushbutton value
buttonState = digitalRead(stopLightPin);
That way the two actions are close together in the code and make more sense to me when I read the code again.