Fix typing issues in several tests and oracles

src/plugins/wp/tests/wp_bts/bts_1382.i

...ugins/wp/tests/wp_hoare/oracle/reference_array.res.oracle

...p/tests/wp_hoare/oracle/reference_array_simple.res.oracle

...p/tests/wp_hoare/oracle_qualif/reference_array.res.oracle

src/plugins/wp/tests/wp_hoare/reference_array.i

src/plugins/wp/tests/wp_hoare/reference_array_simple.i

tests/metrics/variadic-stdlib-generated.c

tests/misc/oracle/wstring_phase6.res.oracle

tests/misc/wstring_phase6.c

tests/non-free/imprecise-malloc-free.i

tests/non-free/long_init.c

tests/non-free/long_init2.c

tests/non-free/long_init3.c

tests/non-free/memcpy.c

tests/non-free/memset.i

tests/non-free/strchr.c

tests/non-free/strlen.c

tests/non-free/strnlen2.c

tests/non-free/wcslen.c

tests/slicing/unravel-variance.i