let rec add_offset father_offset new_offset =
match father_offset with
| Cil_types.NoOffset -> new_offset
| Cil_types.Field(_,the_offset) -> (Cil.addOffset father_offset (add_offset the_offset new_offset))
| _ -> Ltl_to_acsl_option.fatal "NOT YET IMPLEMENTED : struct with array access."