Fix issue with base pointer addresses

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

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

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

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

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

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

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

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

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

src/plugins/e-acsl/translate.ml