let rec getType (t: element): sType = match t with
          Off(off, tp, _)    ->  tp
        | Reg(reg, tp)       ->  tp
        | _                  ->  raise (TYPE_ERROR "Tipo non definito")