boolean lock1,lock2;

void loop(){
    lock1 = lock2 = false;

    //Estado1

    if(digitalRead(S1)== 1 || lock1){
        lock1 = true;
        //Estado2/3
        if(digitalRead(S2) == 1){
            lock2= true;
            //Estado 4
        }else if(lock2){
            //Estado 5
        }
    }
}