let rec get_last_field  my_field my_offset =   
  match my_offset with
    | Cil_types.NoOffset -> my_field
    | Cil_types.Field(fieldinfo,the_offset)  -> get_last_field fieldinfo the_offset
    | _ ->  Ltl_to_acsl_option.fatal "NOT YET IMPLEMENTED : struct with array access."