_{S0; if p1 { S1; } else { S2; } S3;}

Looking at the instruction ordering:

Can you move S0 just after the line "if p1 {" and always retain correct program behaviour? YES/NO

Can you move S1 just before the line"if p1 {" and always retain correct program behaviour? YES/NO

Can you move S2 just before the line"if p1 {" and always retain correct program behaviour? YES/NO

Can you move S3 just after the line"else {" and always retain correct program behaviour? YES/NO