sexecutable

sexecutable:=

assertions | sassert_statement

executable | scall

executable | ssvc

executable | sreturn

executable | sifgoto

executable | stodo

executable | sassignment

executable | sgoto_statement

executable | slabel_statement

cbind | sinline_cpp

variables | svar_def

variables | sval_def