[E-ACSL] monitor only pointers and arrays

src/plugins/e-acsl/pre_analysis.ml

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

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

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

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

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

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

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

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

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

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

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

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

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

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

...acsl/tests/e-acsl-runtime/oracle/valid_alias.1.res.oracle

...e-acsl/tests/e-acsl-runtime/oracle/valid_alias.res.oracle

...ns/e-acsl/tests/e-acsl-runtime/oracle/vector.1.res.oracle

...gins/e-acsl/tests/e-acsl-runtime/oracle/vector.res.oracle

src/plugins/e-acsl/tests/e-acsl-runtime/vector.c