Merge branch 'feature/eva/recursion' into 'master'

src/kernel_services/abstract_interp/base.ml

src/kernel_services/abstract_interp/base.mli

src/kernel_services/abstract_interp/lmap.ml

src/kernel_services/abstract_interp/lmap_sig.mli

src/kernel_services/abstract_interp/locations.ml

src/kernel_services/abstract_interp/locations.mli

src/libraries/utils/hptmap.ml

src/libraries/utils/hptmap_sig.mli

src/libraries/utils/hptset.ml

src/libraries/utils/hptset.mli

src/plugins/e-acsl/tests/arith/functions_rec.c

src/plugins/e-acsl/tests/arith/longlong.i

...ins/e-acsl/tests/arith/oracle_ci/functions_rec.res.oracle

src/plugins/e-acsl/tests/arith/oracle_ci/gen_functions_rec.c

src/plugins/e-acsl/tests/arith/oracle_ci/gen_longlong.c

src/plugins/e-acsl/tests/arith/oracle_ci/longlong.res.oracle

src/plugins/e-acsl/tests/bts/bts1395.i

src/plugins/e-acsl/tests/bts/oracle_ci/bts1395.res.oracle

src/plugins/e-acsl/tests/bts/oracle_ci/gen_bts1395.c

src/plugins/e-acsl/tests/constructs/decrease.i