PREAST_INIT_VAR: preast_var → preast_init
| PREAST_INIT_VAL: preast_init_val → preast_init.
(* -------------------------- *)
(* statement: assegnamento/while/if else if else *)
PREAST_INIT_VAR: preast_var → preast_init
| PREAST_INIT_VAL: preast_init_val → preast_init.
(* -------------------------- *)
(* statement: assegnamento/while/if else if else *)