Scope of variables
Possibility of empty lists of instructions and variable declarations
Setup instruction block for STATE