[typing] fix bug with typing of offsets

src/plugins/e-acsl/tests/bts/oracle/gen_bts1324.c

src/plugins/e-acsl/tests/bts/oracle/gen_bts1326.c

src/plugins/e-acsl/tests/bts/oracle/gen_bts2191.c

src/plugins/e-acsl/tests/gmp/oracle/gen_at.c

src/plugins/e-acsl/tests/gmp/oracle/gen_at2.c

src/plugins/e-acsl/tests/runtime/oracle/gen_base_addr.c

src/plugins/e-acsl/tests/runtime/oracle/gen_block_length.c

...s/e-acsl/tests/runtime/oracle/gen_compound_initializers.c

src/plugins/e-acsl/tests/runtime/oracle/gen_initialized.c

src/plugins/e-acsl/tests/runtime/oracle/gen_linear_search.c

src/plugins/e-acsl/tests/runtime/oracle/gen_literal_string.c

src/plugins/e-acsl/tests/runtime/oracle/gen_mainargs.c

src/plugins/e-acsl/tests/runtime/oracle/gen_offset.c

src/plugins/e-acsl/tests/runtime/oracle/gen_ptr.c

src/plugins/e-acsl/tests/runtime/oracle/loop.res.oracle

src/plugins/e-acsl/tests/runtime/oracle/mainargs.res.oracle

src/plugins/e-acsl/typing.ml