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."