| Case_i of exp * (pat * block) list (* case statement *)
| Foreach_i of ident * exp * block (* foreach statement with list *)
| For_i of ident * exp * exp * block (* foreach statement with integer range *)
| Case_i of exp * (pat * block) list (* case statement *)
| Foreach_i of ident * exp * block (* foreach statement with list *)
| For_i of ident * exp * exp * block (* foreach statement with integer range *)