Comment est ce possible ?

Une dérivation possible pour instruction est :
instruction :
$\Rightarrow$ expression$_{option}$ ;

Pour que cela ait un sens, il faut que l'expression réalise un effet de bord, mais rien ne l'impose dans la définition du langage.