fix translation of constants: do not keep the original string representation

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

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_bts1390.c

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

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

...lugins/e-acsl/tests/e-acsl-runtime/oracle/gen_base_addr.c

...ins/e-acsl/tests/e-acsl-runtime/oracle/gen_block_length.c

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

...plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_freeable.c

...-acsl/tests/e-acsl-runtime/oracle/gen_function_contract.c

...gins/e-acsl/tests/e-acsl-runtime/oracle/gen_initialized.c

...ns/e-acsl/tests/e-acsl-runtime/oracle/gen_linear_search.c

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

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

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

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

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

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

...ns/e-acsl/tests/e-acsl-runtime/oracle/gen_stmt_contract.c