In tests, uses slice ACSL extensions instead of slice pragma.

tests/pdg/inter_alias2.c

tests/slicing/bts0184.i

tests/slicing/bts0190.i

tests/slicing/bts1768.i

tests/slicing/bts179.i

tests/slicing/bts335.i

tests/slicing/bts709.c

tests/slicing/function_lvar.i

tests/slicing/horwitz.i

tests/slicing/keep_annot.i

tests/slicing/loops.i

tests/slicing/oracle/bts1768.res.oracle

tests/slicing/oracle/bts179.1.res.oracle

tests/slicing/oracle/bts179.2.res.oracle

tests/slicing/oracle/bts335.res.oracle

tests/slicing/oracle/bts709.res.oracle

tests/slicing/oracle/function_lvar.res.oracle

tests/slicing/oracle/horwitz.res.oracle

tests/slicing/oracle/keep_annot.2.res.oracle

tests/slicing/oracle/keep_annot.3.res.oracle