(* LABEL + [ init/assegnamenti ] + if(EXPR) then { goto LABEL; } else { goto LABEL; } *)
inductive linearfe_elem (e:aux_flatEnv_type) : Type ≝
(* LABEL + [ init/assegnamenti ] + if(EXPR) then { goto LABEL; } else { goto LABEL; } *)
inductive linearfe_elem (e:aux_flatEnv_type) : Type ≝