visualization as user [...] CoffeeMachine VAR b [...] ; END_VAR
the Composition ( VAR ) command [...] diagram visualizes [...] Machine VAR iState: INT; i